Cover Image
Read Now

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

Bibliographic Details
Other Authors: Calmet, Jacques (Editor), Benhamou, Belaid (Editor), Caprotti, Olga (Editor), Henocque, Laurent (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:1st ed. 2002
Series:Lecture Notes in Artificial Intelligence
Subjects:
Symbolic And Algebraic Manipulation
Computer Science / Mathematics
Numerical Analysis
Discrete Mathematics In Computer Science
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Discrete Mathematics
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XIV, 350 p online resource
ISBN:9783540454700

Similar Items