Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /

Bibliographic Details
Corporate Authors:	AISC (Conference) Plattsburgh, N.Y.), SpringerLink (Online service)
Other Authors:	Calmet, Jacques, Plaza, Jan
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1998]
Series:	Lecture notes in computer science ; 1476. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses. calcul formel. manipulation algébrique. démonstration théorème. raisonnement formel. logique inductive. intelligence artificielle. Intelligence artificielle > Congrès. Logique symbolique et mathématique > Congrès. Artificial intelligence. Logic, Symbolic and mathematical. Kunstmatige intelligentie. Symbolische logica. Automatisches Beweisverfahren. Computeralgebra. Kongress. Künstliche Intelligenz. Reduktionssystem. Electronic books. Kongress > Plattsburgh (NY) > 1998. Conference proceedings. Plattsburgh (NY, 1998)
Online Access:	Connect to the full text of this electronic book

Remote Storage