|
libcats.org
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98Harrie de SwartThis book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#3
Правовое регулирование несостоятельности (банкротства): учеб.-практ. пособиеКарелина С.А.
3.47 Mb
#4
Гельман И. Половая жизнь современной молодёжи. Опыт социально-биологического обследованияГельман И.
15.39 Mb
#5
Предпринимательское право (правовая основа предпринимательской деятельности)Жилинский С.ЭКатегория: Государство и право
3.91 Mb
#6
История педагогики., От зарождения воспитания в первобытном обществе до конца XX векаПискунов А.И.Категория: Гуманитарные науки, Педагогика
1.71 Mb
#7
История педагогики., С XVII в до середины XX вПискунов А.И.Категория: Гуманитарные науки, Педагогика
2.37 Mb
#10
ГАЗ-3307, 3309. Руководство по эксплуатации, техническому обслуживанию и ремонту.Категория: КНИГИ ТЕХНИКА
97.89 Mb
|
|