Automated Development of Fundamental Mathematical Theories; Author: Quaife, Art; Hardback; Book

English Books

US/World Maps

English Books > Mathematics > Mathematical Analysis > Automated Development of Fundamental Mathematical Theories

<< PREVIOUS TITLE | NEXT TITLE >> <<NEW RELEASES >>

Automated Development of Fundamental Mathematical Theories

Author: Quaife, Art
Hardback; Book; Indices, Bibliography
292 pages
Published: November 1992
Kluwer Academic Publishers Group
ISBN: 0792320212

An introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. The book presents a new causal version of von Neumann-Bernays-Goedel set theory, and lists over 400 theorems proved semiautomatically in elemental set theory.

Purchase this item (Product Code: 0792320212)

The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.

Copyright � 2009 Open Communications, Inc
�Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map