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 Перевод заглавия: Неклассическая логика и обработка информации Рубрики: Логическое программирование Кл.слова (ненормированные): модальные системы -- немонотонная логика -- теория проверок Дескрипторы: сб пр -- конф Доп.точки доступа: Pearce, David \ed.\; All-Berlin workshop on nonclassical logics and information processing (1 ; 1990) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |