检索结果 - "предикаты первого порядка"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
  2. 2

    Теория доказательств пер. с англ. Такеути Г. Гаиси

    出版 Москва, Мир, 1978
    主题:
    图书
  3. 3

    Лекции по искусственному интеллекту Осипов Г. С. Геннадий Семенович

    出版 Москва, Либроком, 2014
    主题:
    图书
  4. 4

    Алгоритмы и формальные системы учебное пособие Лисовик Л. П. Леонид Петрович

    出版 Киев, Изд-во КГУ, 1981
    主题:
    图书