Fortell venner om denne varen:
Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition
Art Quaife
Pris
₺ 9.624
Bestillingsvarer
Forventes levert 15. - 23. okt
Legg til iMusic ønskeliste
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 30. november 1992 |
| ISBN13 | 9780792320210 |
| Utgivere | Kluwer Academic Publishers |
| Antall sider | 291 |
| Mål | 156 × 234 × 17 mm · 616 g |
| Språk | Engelsk |
Se alt med Art Quaife ( f.eks. Innbunden bok )