libcats.org
Главная →

Automated deduction in classical and non-classical logics: selected papers (Lecture Notes in Artificial Intelligence 1761)

Обложка книги Automated deduction in classical and non-classical logics: selected papers (Lecture Notes in Artificial Intelligence 1761)

Automated deduction in classical and non-classical logics: selected papers (Lecture Notes in Artificial Intelligence 1761)

,
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Только что пользователи скачали эти книги: