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

March 18, 2010 | In: Books

Product Description
Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover…. More >>

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




Comment Form

Get Adobe Flash playerPlugin by wpburn.com wordpress themes

Powered by Yahoo! Answers