|
|
libcats.org
Главная →
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, ProceedingsAutomated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, ProceedingsFrank PfenningThis book constitutes the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were carefully reviewed and selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
Скачать книгу бесплатно (pdf, 4.55 Mb)
Читать «Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Cstar-algebras and elliptic theory IIАвтор: Dan Burghelea, Автор: Richard Melrose, Автор: Alexander S. Mishchenko, Автор: Evgenij V. TroitskyКатегория: Functional analysis
Размер книги: 1.87 Mb
Vilenkin. Interpretation of the wave function of the universe (PRD, 1989)(T)(7s).djvuАвтор:
Размер книги: 145 Kb
EnvironanotechnologyАвтор: Maohong Fan I, Автор: C.P. Huang, Автор: Alan E. Bland, Автор: Zhonglin Wang, Автор: Rachid Slimane, Автор: Ian G. WrightКатегория: Техника, Нанотехнологии
Размер книги: 11.40 Mb
Maggie Cox - From Rags to Riches - The Man Behind the Mask (html)Автор: Trishna
Размер книги: 422 Kb
Реестр делам крымского двора с 1474 по 1779 годАвтор: Бантыш-Каменский Николай НиколаевичКатегория: КНИГИ ИСТОРИЯ
Размер книги: 8.12 Mb
Current fluctuations for stochastic particle systems with drift in one spatial dimensionАвтор: Timo SeppäläinenКатегория: Mathematics
Размер книги: 501 Kb
|
|
|