Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Bøker - Kluwer Academic Publishers - 9780792320210 - 30. november 1992
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
SFr. 183,49

Bestillingsvarer

Forventes levert 5. - 15. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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 )