Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science - Peter Baumgartner - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540655091 - 18. decembra 1998
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition

Cena
€ 60,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 7. - 21. avg
Prejemajte obvestila o novih izdajah izvajalca Peter Baumgartner
Dodaj na svoj seznam želja iMusic

Not rated yet

Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems.


290 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 18. decembra 1998
ISBN13 9783540655091
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 290
Dimenzije 155 × 235 × 15 mm   ·   421 g
Jezik Angleščina  

Več od Peter Baumgartner

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Peter Baumgartner ( Na primer Paperback Book , Book in CD )