Conte aos seus amigos sobre este item:
Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Jan Plaza
Preço
NOK 559
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 21 - 27 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Artificial Intelligence and Symbolic Computation: International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998 Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Jan Plaza
The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.
328 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de setembro de 1998 |
| ISBN13 | 9783540649601 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 328 |
| Dimensões | 156 × 234 × 17 mm · 458 g |
| Idioma | German |
| Editor | Calmet, Jacques C. |
| Editor | Plaza, Jan |
Ver tudo de Jan Plaza ( por exemplo Paperback Book )