Booksee.org
Главная →
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Proceedings of the Joint Intl Conference, AISC 2002 and Calculemus 2002, held July 1-5, 2002 in Marseille, France. Softcover.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|