Conte aos seus amigos sobre este item:
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science Peter Baumgartner 1998 edition
Preço
R$ 282,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 2 - 6 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Peter Baumgartner
Adicione à sua lista de desejos do iMusic
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
| 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 | Inglês |