В12 Н134 Набебин, Алексей Александрович. Логика и Пролог в дискретной математике [Текст] / А. А. Набебин. - М. : МЭИ, 1996. - 451 с. : ил Библиогр.: с. 435-440 Рубрики: математическая логика дискретная математика графов теория, алгоритмы на графах языки программирования Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 Ш853 З 973.2 / Ш853-02 Шрайнер, Павел Александрович. Основы программирования на языке Пролог : курс лекций: учеб. пособие / П. А. Шрайнер ; Интернет ун-т информ. технологий. - М. : Интернет-Ун-т информ. технологий, 2005. - 172, [1] с. ; 22 см. - (Основы информационных технологий). - Библиогр.: с. 173. - 2000 экз.. - Рубрики: Пролог, язык программирования Кл.слова (ненормированные): Пролог (программирования язык) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Э3 Ш886 Штейнер, Рудольф. Истина и наука: пролог к "Философии свободы". Философия свободы : основные черты одного соврем. мировоззрения: [пер. с нем.] / Р. Штейнер; Рудольф Штайнер. - СПб. : Деметра, 2007. - 437, [1] s. : ил. ; 22 см. - Библиогр.: с. 14-17. - Имен. указ. в конце кн. - 1500 экз. Ч. текста парал. нем., рус. Рубрики: антропософия Штейнер Рудольф--философ Кл.слова (ненормированные): Антропософия Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/404 Pr869/404 / Pr869/404-02 Beer, Joachim. Concepts, design, and performance analysis of a parallel Prolog machine : сборник / J. Beer. - Berlin [et al.] : Springer, 1989. - VI,128 p. : Ill. - (Lecture notes in computer science ; 404) Bibliogr.: p. 125-128 Перевод заглавия: Общее представление, проектирование и анализ ЭВМ на параллельном языке программирования Пролог Рубрики: Prolog, язык программирования Кл.слова (ненормированные): ЭВМ -- параллельное программирование -- логическое программирование Дескрипторы: моногр -- сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/592 Pr1019/592 / Pr1019/592-02 Logic programming [Text] : first Russian conf. on logic programming, Irkutsk, Russia, Sept. 14-18, 1990; Second Russian conf. on logic programming, St. Petersburg, Russia, Sept. 11-16, 1991. Proc. / Ed. by A. Voronkov. - Berlin [et al.] : Springer, 1992. - IX,514 p. : Ill. - (Lecture notes in artificial intelligence ; 592). - Bibliogr. at the end of the art Перевод заглавия: Логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): базы знаний -- семантика -- Пролог -- временная логика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 97 Я652 З 97 / Я652-02 Янсон, Александр. Турбо-Пролог в сжатом изложении : переводное издание / А. Янсон. - М. : Мир, 1991. - 94 с. : табл. - Пер. изд. : Turbo-Prolog Kompakt/Janson A Предм. указ.: с. 93 Рубрики: Turbo Prolog, язык программирования Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |