libcats.org
Главная

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98

Обложка книги Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '98

This 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Эдгар Уоллес. У трех дубов

Автор:
Размер книги: 279 Kb

Oh Yes i Can

Автор:
Размер книги: 1 Kb

Третий параграф

Автор:
Категория: Фантастика
Размер книги: 19 Kb