Recomienda este artículo a tus amigos:
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
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de septiembre de 1998 |
| ISBN13 | 9783540649601 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 328 |
| Dimensiones | 156 × 234 × 17 mm · 458 g |
| Lengua | Alemán |
| Editor | Calmet, Jacques C. |
| Editor | Plaza, Jan |