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 - 9789048150502 - 9. 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
€ 221,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 13. - 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:

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 9. decembra 2010
ISBN13 9789048150502
Založniki Springer
Strani 481
Dimenzije 160 × 240 × 25 mm   ·   698 g
Urednik Bibel, Wolfgang
Urednik Schmitt, P.H.

Več od W Bibel

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh W Bibel