Automated Theorem Proving: Theory and Practice - Monty Newborn - Knjige - Springer-Verlag New York Inc. - 9781461265191 - 24. maja 2013
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 112,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 19. - 27. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Monty Newborn

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 24. maja 2013
ISBN13 9781461265191
Založniki Springer-Verlag New York Inc.
Strani 231
Dimenzije 155 × 235 × 13 mm   ·   353 g
Jezik Angleščina  

Več od Monty Newborn

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Monty Newborn