|
|
libcats.org
Computational Logic and Proof Theory 5 conf., KGC'97, Vienna, Austria, August 25-29, 1997Georg Gottlob, Alexander Leitsch, Daniele MundiciThis book constitutes the refereed proceedings of the 5th Kurt G?del Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Thinking it through. Linking language skills, thinking skills and dramaАвтор: Gill Thompson, Автор: Huw Evans
Размер книги: 849 Kb
A+ Complete Study Guide, Third Edition (220-301 and 220-302)Автор: Christopher A. Crayton
Размер книги: 7.84 Mb
Начала органической химииАвтор: Несмеянов А.Н., Автор: Несмеянов Н.А.Категория: Химия
Размер книги: 10.72 Mb
English For Social Interaction - Everyday IdiomsАвтор: Betty KirkpatrickКатегория: Иностранные языки
Размер книги: 8.80 Mb
Collective Motion and Phase Transitions in Nuclear Systems: Proceedings of the Predeal International Summer School Innuclear Physics, Predeal, Romania, 28 August-9 September 2006Автор: A. A. Raduta, Автор: V. Baran, Автор: A. C. Gheorghe, Автор: I. UrsuКатегория: Математика, Математическая физика
Размер книги: 30.22 Mb
Real Analysis: Modern Techniques and Their ApplicationsАвтор: Gerald B. FollandКатегория: Математика, Прикладная математика
Размер книги: 6.92 Mb
|
|
|