equal
deleted
inserted
replaced
77 through Proof", |
77 through Proof", |
78 publisher = AP, |
78 publisher = AP, |
79 series = "Computer Science and Applied Mathematics", |
79 series = "Computer Science and Applied Mathematics", |
80 year = 1986} |
80 year = 1986} |
81 |
81 |
|
82 @Misc{isamode, |
|
83 author = {David Aspinall}, |
|
84 title = {Isamode}, |
|
85 note = {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}} |
|
86 } |
|
87 |
|
88 @Misc{proofgeneral, |
|
89 author = {David Aspinall and others}, |
|
90 title = {{P}roof {G}eneral --- {O}rganize your proofs!}, |
|
91 note = {\url{http://www.dcs.ed.ac.uk/home/proofgen/}} |
|
92 } |
|
93 |
82 %B |
94 %B |
83 |
95 |
84 @incollection{basin91, |
96 @incollection{basin91, |
85 author = {David Basin and Matt Kaufmann}, |
97 author = {David Basin and Matt Kaufmann}, |
86 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental |
98 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental |
773 year = 1990, |
785 year = 1990, |
774 volume = 6, |
786 volume = 6, |
775 number = 4, |
787 number = 4, |
776 pages = {389-402}} |
788 pages = {389-402}} |
777 |
789 |
778 @Misc{proofgeneral, |
|
779 author = {David Aspinall and others}, |
|
780 title = {{P}roof {G}eneral --- {O}rganize your proofs!}, |
|
781 note = {\url{http://www.dcs.ed.ac.uk/home/proofgen/}} |
|
782 } |
|
783 |
|
784 %Q |
790 %Q |
785 |
791 |
786 @Article{quaife92, |
792 @Article{quaife92, |
787 author = {Art Quaife}, |
793 author = {Art Quaife}, |
788 title = {Automated Deduction in {von Neumann-Bernays-G\"{o}del} Set |
794 title = {Automated Deduction in {von Neumann-Bernays-G\"{o}del} Set |