| Shelfclass_id | 4.A |
| Sortkey | AISMC |
| Authors | Editors: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf |
| Title | AISMC 1996: Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings |
| Publisher | Springer |
| Year | 1996 |
| Languages | eng |
| Isbn | 3540617329, 9783540617327 |
| Series | Lecture Notes in Computer Science |
| Volume | 1138 |
| Issn | 0302-9743 |
| Description | viii, 379 p. ill. 24 cm |
| Record date | 20060707 |
| Location | New York |
| Keywords | Artificial intelligence, Symbolic and mathematical logic |