Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Bücher - Kluwer Academic Publishers - 9780792320210 - 30. November 1992
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 212,49

Bestellware

Lieferdatum: ca. 6. - 14. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 30. November 1992
ISBN13 9780792320210
Verlag Kluwer Academic Publishers
Seitenanzahl 291
Maße 156 × 234 × 17 mm   ·   616 g
Sprache Englisch  

Alle Titel von Art Quaife ansehen ( u. a. Gebundenes Buch )