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...
Advertising