Pastāsti draugiem par šo preci:
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science Jaques Calmet
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1996. gada 11. septembris |
| ISBN13 | 9783540617327 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 384 |
| Izmēri | 156 × 234 × 20 mm · 553 g |
| Valoda | Vācu |
| Redaktors | Calmet, Jacques C. |
| Redaktors | Campbell, J.a. |
| Redaktors | Pfalzgraf, Jochen (University of Linz, Austria) |