Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Olivetti N. (ed.) — Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548
Olivetti N. (ed.) — Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548

Автор: Olivetti N. (ed.)

Аннотация:

This volume gathers the research papers presented at the International Conference
on Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX 2007) that took place July 3–6, 2007 in Aix en Provence, France.
This conference was the 16th in a series of international meetings held since 1992
(the list is on page VIII).
The Program Committee of TABLEAUX 2007 received 43 submissions, 16
of which were accepted for publication in the present proceedings, while 8 were
accepted as position papers.
In addition to the contributed papers, the program included three excellent
keynote talks by Piero Bonatti of Universit`a di Napoli, by John-Jules Meyer of
Utrecht University, and by Cesare Tinelli of the University of Iowa. Finally, the
program was completed by three tutorials of deep interest: “The Tableau Work
Bench: Theory and Practice” (Pietro Abate and Rajeev Gor´e), “Tableau Methods
for Interval Temporal Logics” (Valentin Goranko and Angelo Montanari),
and “Semistructured Databases and Modal Logic” (Serenella Cerrito).


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2007

Количество страниц: 244

Добавлена в каталог: 04.12.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте