Vertel uw vrienden over dit artikel:
Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition
Art Quaife
Prijs
Mex$ 5.427,11
Besteld in een afgelegen magazijn
Verwachte levering 23 jun. - 2 jul.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition
Art Quaife
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 30 november 1992 |
| ISBN13 | 9780792320210 |
| Uitgevers | Kluwer Academic Publishers |
| Pagina's | 291 |
| Afmetingen | 156 × 234 × 17 mm · 616 g |
| Taal en grammatica | Engels |
Bekijk alles van Art Quaife ( bijv. Hardcover Book )