libcats.org
Главная →
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002
Uwe Egly, Christian G. Fernmüller
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.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|
