![]() | ![]() |
1992 | ||
---|---|---|
4 | Art Quaife: Automated Deduction in von Neumann-Bernays-Gödel Set Theory. J. Autom. Reasoning 8(1): 91-147 (1992) | |
1991 | ||
3 | Art Quaife: Unsolved Problems in Elementary Number Theory. J. Autom. Reasoning 7(2): 287-300 (1991) | |
1989 | ||
2 | Art Quaife: Automated Development of Tarski's Geometry. J. Autom. Reasoning 5(1): 97-118 (1989) | |
1988 | ||
1 | Art Quaife: Automated Proofs of Löb's Theorem and Gödel's Two Incompleteness Theorems. J. Autom. Reasoning 4(2): 219-231 (1988) |