- 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Самодельные детали для сельского радиоприемника
Автор: Авторы: З.Б.Гинзбург, Автор: Ф.И.Тарасов.Категория: радиоэлектроника
Размер книги: 1.40 Mb
Английский школьникам. Тренажер по чтению. Буквы и звуки
Автор: Е. В. Русинова
Размер книги: 12.41 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Автор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Применение UML и шаблонов проектирования
Автор: Крэг ЛарманКатегория: computer
Размер книги: 27.84 Mb
Только что пользователи скачали эти книги:
Грамматика английского языка. Морфология. Синтаксис
Автор: Кобрина Н. А. , Автор: Е. А. Корнеева
Размер книги: 3.64 Mb
Narrative Fiction: Contemporary Poetics 2nd Edition (New Accents)
Автор: Shlomith Rimmon-Kenan
Размер книги: 1.15 Mb
Программирование на языке С для AVR и PIC микроконтроллеров
Автор: Ю.А. Шпак
Размер книги: 547.32 Mb
Памятка для тех, кому предстоят допросы
Автор: Александр Есенин - ВольпинКатегория: ВОЕННАЯ ИСТОРИЯ, НАУЧНО-ПОПУЛЯРНОЕ
Размер книги: 11.57 Mb