Automated Theorem Proving: Theory and Practice - Monty Newborn - Książki - Springer-Verlag New York Inc. - 9781461265191 - 24 maja 2013
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition

Monty Newborn

Cena
zł 577,90

Zamówione z odległego magazynu

Przewidywana dostawa 17 - 28 kwi

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

Również dostępne jako:

Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.

245 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 24 maja 2013
ISBN13 9781461265191
Wydawcy Springer-Verlag New York Inc.
Strony 231
Wymiary 155 × 235 × 13 mm   ·   353 g
Język English  
Pokaż wszystko

Więcej od Monty Newborn

Zobacz wszystko od Monty Newborn ( np. Paperback Book i Hardcover Book )