libcats.org
Главная

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002

Обложка книги Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002

,
Proceedings of the Intl Conference, TABLEAUX 2002, held July 30-August 1, 2002 in Copenhagen, Denmark. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: