Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / [Book :]
Jacques Calmet, John A. Campbell (eds).
- Berlin ; New York : Springer-Verlag, c1993.
- 305 p. : ill. ; 24 cm.
- Lecture notes in computer science ; 737 .
Includes bibliographical references.
All Ages.
0387573224 (alk. paper : U.S.)
93036465
Artificial intelligence--Congresses.
Logic, Symbolic and mathematical--Congresses.
Q334 / .I5488 1992
006.3
/ C A
Includes bibliographical references.
All Ages.
0387573224 (alk. paper : U.S.)
93036465
Artificial intelligence--Congresses.
Logic, Symbolic and mathematical--Congresses.
Q334 / .I5488 1992
006.3
/ C A