Fortæl dine venner om denne vare:
Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition
Art Quaife
Pris
HK$ 2.276,25
Bestilles fra fjernlager
Forventes klar til forsendelse 9. - 15. okt.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. november 1992 |
| ISBN13 | 9780792320210 |
| Forlag | Kluwer Academic Publishers |
| Antal sider | 291 |
| Mål | 156 × 234 × 17 mm · 616 g |
| Sprog | Engelsk |
Se alt med Art Quaife ( f.eks. Hardcover bog )