|
|
libcats.org
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97Didier GalmicheThis book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Вторжение в ПерсейАвтор: Снегов Сергей АлександровичКатегория: Эпическая фантастика, Космическая фантастика
Размер книги: 600 Kb
Красные уши. Советские профессиональные ламповые радиоприемники 1945-1970 ггАвтор: Шапкин В.И.
Размер книги: 13.78 Mb
Advances in Applied Microbiology, Volume 33Автор: Allen I. LaskinКатегория: Наука (общее)
Размер книги: 16.78 Mb
The Facts on File Dictionary of Evolutionary Biology (Facts on File Science Dictionary)Автор: Elizabeth Owen, Автор: Eve Daintith, Автор: Inc. Facts on File
Размер книги: 1.56 Mb
Путеводитель по журналу «Радио» 1986—1990 гг.Автор: Мстиславский A.Л., Автор: Фролов В.В.
Размер книги: 10.32 Mb
|
|
|