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

Bibliographic Details
Corporate Authors:	AISC (Conference) Marseille, France), SpringerLink (Online service), Calculemus (Symposium)
Other Authors:	Calmet, Jacques
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2385. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving > Congresses. démonstration. programmation sous contrainte. géométrie algorithmique. mathématiques pour informatique. déduction automatique. démonstration théorème. algèbre ordinateur. programmation symbolique. Artificial intelligence. Automatic theorem proving. Logic, Symbolic and mathematical. Intelligence artificielle > Congrès. Théorèmes > Démonstration automatique > Congrès. Logique symbolique et mathématique > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xi, 341 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540438653 9783540438656
ISSN:	0302-9743 ;