Automated development of fundamental mathematical theories

Authors:
Arthur William Quaife;J. W. Addison
Affiliations:
-;-
Venue:
Automated development of fundamental mathematical theories
Year:
1990

Citing 0
Cited 4

Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross

Journal of Automated Reasoning
On Computer-Assisted Proofs in Ordinal Number Theory

Journal of Automated Reasoning
Computer proofs about finite and regular sets: the unifying concept of subvariance

Journal of Symbolic Computation - Special issue: First order theorem proving
The GOEDEL Program

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract