Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series - W Bibel - Knjige - Kluwer Academic Publishers - 9780792351313 - 30. junija 1998
Če se naslovnica in naslov ne ujemata, je naslov pravilen

W Bibel
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 22. - 30. okt
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

Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.

335 pages, biography

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 30. junija 1998
ISBN13 9780792351313
Založniki Kluwer Academic Publishers
Strani 335
Dimenzije 160 × 242 × 26 mm   ·   671 g
Jezik Angleščina  
Urednik Bibel, Wolfgang
Urednik Schmitt, Peter H.

Več od W Bibel

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh W Bibel