Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1998. gada 2. septembris |
| ISBN13 | 9783540649601 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 328 |
| Izmēri | 156 × 234 × 17 mm · 458 g |
| Valoda | Vācu |
| Redaktors | Calmet, Jacques C. |
| Redaktors | Plaza, Jan |