Artificial intelligence, automated reasoning, and symbolic computation joint international conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	AISC (BerichterstatterIn), Calculemus (BerichterstatterIn)
Weitere Verfasser:	Calmet, Jacques (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2002
Schriftenreihe:	Lecture notes in computer science 2385 : Lecture notes in artificial intelligence
Schlagworte:	Artificial intelligence > Congresses > Automatic theorem proving > Logic, symbolic and mathematical > Konferenzschrift > Künstliche Intelligenz > Automatisches Beweisverfahren > Computeralgebra
Online Zugang:	Cover Kapitel 1 Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!