Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Books - Kluwer Academic Publishers - 9780792320210 - November 30, 1992
In case cover and title do not match, the title is correct

Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition

Art Quaife

Price
$ 229.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 1 - 11
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition

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.

291 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 30, 1992
ISBN13 9780792320210
Publishers Kluwer Academic Publishers
Pages 291
Dimensions 156 × 234 × 17 mm   ·   616 g
Language English  

See all of Art Quaife ( e.g. Hardcover Book )