- 2 402 202 книги
- Поиск
libcats.org
Computer Science Logic, 14 conf.EACSL
Peter G. Clote, Helmut SchwichtenbergProceedings of the 14th International Workshop, CSL 2000, Annual Conference of the EACSL, held in Fischbachau, Germany, August 21-26, 2000. Topics covered by this year's papers included automated deduction and interactive theorem proving, categorical logic and topological semantics, and higher order logic. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
LLC or Corporation? How to Choose the Right Form for Your Business
Автор: Anthony Mancuso Attorney
Размер книги: 1.32 Mb
Encyclopedia of World Biography, Supplement Volume 27 (Encyclopedia of World Biography Supplement)
Автор: Tracie Ratiner (Project Editor)
Размер книги: 5.26 Mb
Лейб-Гвардии 2-ой Стрелковый Батальон в Турецкую кампанию 1877-1878 гг.
Автор: Тулубовский А.Я.Категория: История, Военная история
Размер книги: 23.16 Mb