Search Results - "предикаты"

Refine Results
  1. 1

    Программирование в среде Visual Prolog учебное пособие by Авдеенко Т. В.

    Published Новосибирск, НГТУ, 2022
    Subjects: Get full text
    Get full text
    Electronic Book
  2. 2
  3. 3
  4. 4

    Математическая логика пер. с англ. by Клини С. К. Стефан Коул

    Published Москва, Мир, 1973
    Subjects:
    Book
  5. 5

    Математика без формул by Пухначев Ю. В. Юрий Васильевич

    Published Москва, Знание, 1979
    Subjects:
    Book
  6. 6

    Введение в математическую логику пер. с англ. by Мендельсон Э. Эллиот

    Published Москва, Наука, 1976
    Subjects:
    Book
  7. 7

    Введение в математическую логику пер. с англ. by Мендельсон Э. Эллиот

    Published Москва, Наука, 1984
    Subjects:
    Book
  8. 8

    Принципы искусственного интеллекта пер. с англ. by Нильсон Н. Дж. Нильс Дж.

    Published Москва, Радио и связь, 1985
    Subjects:
    Book
  9. 9

    Элементы математической логики by Новиков П. С. Петр Сергеевич

    Published Москва, Наука, 1973
    Subjects:
    Book
  10. 10
  11. 11

    Множества. Логика. Аксиоматические теории пер. с англ. by Столл Р. Р. Роберт Р.

    Published Москва, Просвещение, 1968
    Subjects:
    Book
  12. 12

    Математическая логика учебное пособие by Ершов Ю. Л. Юрий Леонидович

    Published Москва, Наука, 1979
    Subjects:
    Book
  13. 13

    Лекции по математической логике учебное пособие by Мощенский В. А. Владимир Андреевич

    Published Минск, Изд-во Белорусского гос. ун-та, 1973
    Subjects:
    Book
  14. 14

    Логико-лингвистические модели в системах управления by Поспелов Д. А. Дмитрий Александрович

    Published Москва, Энергоиздат, 1981
    Subjects:
    Book
  15. 15

    Основания математики. Логические исчисления и формализация арифметики. by Гильберт Д. Давид

    Published Москва, Наука, 1982
    Subjects:
    Book
  16. 16

    Ч. 3 by Колобов А. М. Александр Михайлович

    Published 1971
    Subjects:
    Book
  17. 17

    Математическая логика и теория алгоритмов учебное пособие by Гурова Л. М. Любовь Михайловна

    Published Москва, Изд-во МГГУ, 2006
    Subjects:
    Book
  18. 18

    Logical network model with predicate operations

    Published 2014
    Subjects: Get full text
    Get full text
    Electronic Book Chapter
  19. 19

    Flexible Process Model Design by Rudometkina M. N. Monika Nikolaevna

    Published 2016
    Subjects: Get full text
    Electronic Book Chapter
  20. 20