Pr1019 Pr1019/395 Pr1019/395 / Pr1019/395-02 Schmidt-Schauss, Manfred. Computational aspects of an order-sorted logic with term declarations : сборник / M. Schmidt-Schauss. - Berlin [et al.] : Springer, 1989. - VIII,171 p. - (Lecture notes in artificial intelligence ; 395) Bibliogr.: p. 156-166. Ind.: p. 167-168 Перевод заглавия: Вычислительные аспекты математической логики Рубрики: Математическая логика--Применение ЭВМ Кл.слова (ненормированные): математическая логика -- упорядоченная логика -- термы Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |