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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|
