Povej prijatelju o tem izdelku:
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science Peter Baumgartner 1998 edition
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science
Peter Baumgartner
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 vseVeč od istega **izdajatelja**
Ogled vseh Peter Baumgartner ( Na primer Paperback Book , Book in CD )