![Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science - Peter Baumgartner - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540655091 - 18 de dezembro de 1998](https://imusic.b-cdn.net/images/item/original/091/9783540655091.jpg?peter-baumgartner-1998-theory-reasoning-in-connection-calculi-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1488919267)
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 18 de dezembro de 1998 |
ISBN13 | 9783540655091 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 290 |
Dimensões | 155 × 235 × 15 mm · 421 g |
Idioma | English |
Mais por Peter Baumgartner
Ver tudo de Peter Baumgartner ( por exemplo Paperback Book , CD e Book )