Egly U. (ed.), Fermüller C.G. (ed.) — Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Egly U. (ed.), Fermüller C.G. (ed.) — Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

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

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

Название: Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

Авторы: Egly U. (ed.), Fermüller C.G. (ed.)

Язык:

Тип: Журнал Lecture Notes in Artificial Intelligence

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

ed2k: ed2k stats

Издание: 1

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

О проекте