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
Main Author: Calmet, Jacques
Other Authors: Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2002
Series:Lecture Notes in Computer Science
Subjects:
Algebra
Artificial Intelligence
Computational Complexity
Computer Science
Electronic Data Processing
Artificial Intelligence (incl. Robotics)
Discrete Mathematics In Computer Science
Mathematical Logic And Formal Languages
Numeric Computing
Symbolic And Algebraic Manipulation
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540454700
978-3-540-43865-6

Similar Items