- 2 402 202 книги
- Поиск
libcats.org
Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000
Mark Aagaard, John HarrisonProceedings of the 13th Annual Conference, TPHOLs 2000, held in Portland, Oregon, August 14-18, 2000. The conference included contributions to computer theorem proving and to functional programming, as well as works in progress. Softcover.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
From being to becoming: time and complexity in the physical sciences
Автор: Ilya Prigogine
Размер книги: 4.33 Mb
Двенадцать принципов производительности
Автор: Гаррингтон ЭмерсонКатегория: Экономика
Размер книги: 1.00 Mb
Power Electronics Design Handbook: Low-Power Components and Applications
Автор: Nihal Kularatna
Размер книги: 13.10 Mb
Der Einzelgänger Georg Elser. Der Mann, der Hitler töten wollte
Автор: Ortner HelmutКатегория: fiction
Размер книги: 480 Kb