Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.

Bibliographic Details
Corporate Authors:	AISMC (Conference) Steyr, Austria), SpringerLink (Online service)
Other Authors:	Calmet, Jacques, Campbell, J. A., 1940-, Pfalzgraf, Jochen
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1138.
Subjects:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses. raisonnement. calcul formel. démonstration théorème. modèle base connaissance. mathématique symbolique. intelligence artificielle. Informatique > Mathématiques > Congrès. Intelligence artificielle > Congrès. Artificial intelligence. Logic, Symbolic and mathematical. Kunstmatige intelligentie. Symbolische logica. Logique symbolique et mathématique > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage