Tell your friends about this item:
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition
Peter Baumgartner
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition
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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 18, 1998 |
ISBN13 | 9783540655091 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 290 |
Dimensions | 155 × 235 × 15 mm · 421 g |
Language | English |
Show all
More by Peter Baumgartner
See all of Peter Baumgartner ( e.g. Paperback Book , CD and Book )