Quaife Art:
Automated Development Of Fundamental Mathematical Theories
Kluwer Academic Publishers Group (Netherlands), 1992
Hardback, 296 pages
Size: 234x156 mm
ISBN: 9780792320210
ISBN-10: 0792320212
Automated Development Of Fundamental Mathematical Theories
Provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory.

