•  

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... / Lecture Notes in Artificial Intelligence)
  • Publication date August 2002
  • Publisher Springer
  • ISBN 3540438653
  • pages350

See something wrong?

Report an issue with this book