Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Bøger - Kluwer Academic Publishers - 9780792320210 - 30. november 1992
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 1.854

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

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 )