Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /

Bibliographic Details
Corporate Authors:	AISMC (Conference) Cambridge, England), SpringerLink (Online service)
Other Authors:	Calmet, Jacques, Campbell, J. A., 1940-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1995]
Series:	Lecture notes in computer science ; 958.
Subjects:	Computer science > Mathematics > Congresses. Artificial intelligence > Congresses. démonstration théorème. modélisation mathématique. modèle base connaissance. mathématique symbolique. intelligence artificielle. Informatique > Mathématiques > Congrès. Intelligence artificielle > Congrès. Artificial intelligence. Computer science > Mathematics. Symbolische logica. Computerwiskunde. Inteligencia Artificial (Computacao) Computeralgebra. Kongre€. Künstliche Intelligenz. Electronic books. Conference proceedings. Cambridge (1994) Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Remote Storage