Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Kirjat - Kluwer Academic Publishers - 9780792320210 - maanantai 30. marraskuuta 1992
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Art Quaife

Hinta
HK$ 2.187,90

Tilattu etävarastosta

Arvioitu toimitus ti 27. touko - to 5. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 30. marraskuuta 1992
ISBN13 9780792320210
Tuottaja Kluwer Academic Publishers
Sivujen määrä 291
Mitta 156 × 234 × 17 mm   ·   616 g
Kieli English  

Katso kaikki joka sisältää Art Quaife ( Esim. Hardcover Book )