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.
