Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

N. G. de Bruijn (auth.), Harrie de Swart (eds.)
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
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.
Категорії:
Рік:
1998
Видання:
1
Видавництво:
Springer Berlin Heidelberg
Мова:
english
Сторінки:
335
ISBN 10:
3540644067
ISBN 13:
9783540644064
Серії:
Lecture Notes in Computer Science 1397
Файл:
PDF, 1.73 MB
IPFS:
CID , CID Blake2b
english, 1998
Читати Онлайн
Виконується конвертація в
Конвертація в не вдалась

Ключові фрази