Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /

Bibliographic Details
Corporate Author:	AISMC (Conference) Karlsruhe, Germany)
Other Authors:	Calmet, Jacques, Campbell, J. A., 1940-
Format:	Conference Proceeding Book
Language:	English
Published:	Heidelberg ; New York : Springer-Verlag, 1993.
Series:	Lecture notes in computer science ; 737.
Subjects:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage