- 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Martial: Epigrams, Volume III, Books 11-14. (Loeb Classical Library No. 480)
Автор: MartialКатегория: Физкультура и спорт, Боевые искусства
Размер книги: 16.28 Mb
The Star Trek Encyclopedia: Updated and Expanded Edition (Star Trek: All)
Автор: Michael Okuda, Автор: Denise Okuda, Автор: Debbie Mirek
Размер книги: 974.21 Mb