Conte aos seus amigos sobre este item:
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science
Jaques Calmet
Preço
R$ 314,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 11 - 17 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science
Jaques Calmet
The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.
384 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 11 de setembro de 1996 |
| ISBN13 | 9783540617327 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 384 |
| Dimensões | 156 × 234 × 20 mm · 553 g |
| Idioma | German |
| Editor | Calmet, Jacques C. |
| Editor | Campbell, J.a. |
| Editor | Pfalzgraf, Jochen (University of Linz, Austria) |
