Concepedia

Art Quaife

AQ

Statistics

Publications

3

Citations

110

H-Index

3

Active since

1988

Affiliations

Pacific Engineering (United States)(Current)

Art Quaife is an author at Pacific Engineering (United States) specializing in mathematics, computing, and theory of computation.

Publications per year

1988–1992

3

Publications

3

Automated deduction in von Neumann-Bernays-G�del set theory

Art Quaife · Journal of Automated Reasoning · 1992 · 61 citations

, , +11

Automated development of Tarski's geometry

Art Quaife · Journal of Automated Reasoning · 1989 · 37 citations

, , +8

Automated proofs of L�b's theorem and G�del's two incompletensess theorems

Art Quaife · Journal of Automated Reasoning · 1988 · 12 citations

, , +14

1–3 of 3