Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Książki - Kluwer Academic Publishers - 9780792320210 - 30 listopada 1992
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 876,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 30 listopada 1992
ISBN13 9780792320210
Wydawcy Kluwer Academic Publishers
Strony 291
Wymiary 156 × 234 × 17 mm   ·   616 g
Język Angielski  

Zobacz wszystko od Art Quaife ( np. Hardcover Book )