TY  - BOOK
AU  - CALMET, J.: CAMPBELL, J.A.: PFALZGRAF, J.:
TI  - ARTIFICIAL INTELLIGENCE AND SYMBOLIC MATHEMATICAL COMPUTATION : LECTURE NOTES IN COMPUTER SCIENCE : Proceedings
SN  - 0003540617329
U1  - 006.3 
PB  - Springer
KW  - ARTIFICIAL INTELLIGENCE : MATHEMATICAL COMPUTATION
ER  -