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

Our price: £135.00

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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.

Related links:

Art Quaife
Mathematical logic
Mathematical foundations
Mathematics
Mathematics and science
Kluwer Academic Publishers Group

More information from Wikipedia:

Art Quaife
© 2006-2008 Eruditor Ltd and its partners

Search

Whole catalogue
Travel & holiday guides

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z