- 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
Только что пользователи скачали эти книги:
Я послал тебе чёрную розу
Автор: Жженов Георгий СтепановичКатегория: Русская классическая проза
Размер книги: 16 Kb
Theoretische Elektrotechnik. Eine Einführung: Eine Einfuhrung
Автор: Karl Küpfmüller, Автор: Wolfgang Mathis, Автор: Albrecht Reibiger
Размер книги: 7.32 Mb
After Lacan: Clinical Practice and the Subject of the Unconscious
Автор: Willy Apollon, Автор: Danielle Bergeron, Автор: Lucie Cantin, Автор: Robert Hughes, Автор: Kareen Ror Malone, Автор: Robert Hughes, Автор: Kareen Ror Malone
Размер книги: 695 Kb
Цитогенетический мониторинг: методы оценки загрязнения окружающей среды и состояния генетического аппарата организма: Учебное пособие
Автор: Калаев В.Н., Автор: Карпова С.С.Категория: Экология
Размер книги: 740 Kb
MCTS Self-Paced Training Kit (Exam 70-502): Microsoft® .NET Framework 3.5 Windows® Presentation Foundation
Автор: Matthew A. StoeckerКатегория: Компьютеры, Операционные системы
Размер книги: 4.94 Mb
Molecular Chaperones and Cell Signalling
Автор: Brian Henderson, Автор: A. Graham PockleyКатегория: Биология, Микробиология
Размер книги: 3.53 Mb