dblp.uni-trier.dewww.uni-trier.de

Art Quaife Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)