Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Knjige - Springer - 9789048150519 - 6. decembra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

W Bibel
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series Softcover reprint of hardcover 1st ed. 1998 edition

Cena
€ 189,99

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 W Bibel

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:

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

450 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 6. decembra 2010
ISBN13 9789048150519
Založniki Springer
Strani 434
Dimenzije 160 × 240 × 23 mm   ·   625 g
Urednik Bibel, Wolfgang
Urednik Schmitt, P.H.

Več od W Bibel

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh W Bibel