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
Kč 1.233
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 4 - 12 de dez
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 | Alemão |
| Editor | Calmet, Jacques C. |
| Editor | Campbell, J.a. |
| Editor | Pfalzgraf, Jochen (University of Linz, Austria) |
