Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>K=модальные системы<.>)
Общее количество найденных документов
:
1
1.
Pr1019
Pr1019/619
Pr1019/619 / Pr1019/619-02
Nonclassical logics and
information processing : Intern. workshop, Berlin, Germany, Nov. 9-10, 1990. proceedings / ed.: David Pearce, Heinrich Wansing. - Berlin [et al.] : Springer, 1992. - 171 p. - (Lecture notes in artificial intelligence ; 619). - Bibliogr. at the end of the art
Перевод заглавия:
Неклассическая логика и обработка информации
50.05.09
ББК
З 973.205-018.12я431
Рубрики:
Логическое программирование
Кл.слова (ненормированные):
модальные
системы
--
немонотонная логика
--
теория проверок
Дескрипторы:
сб пр -- конф
Доп.точки доступа:
Pearce, David \ed.\; All-Berlin workshop on nonclassical logics and information processing (1 ; 1990)
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
69-2-94+02
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН