Вычислительные системы: Сборник научных трудов/ 156, Структурные алгоритмические свойства вычислимости/Ред. Ю. Л. Ершов, Ред. С. С. Гончаров

Похожие документы

• Проектирование многоэтажных каркасных зданий с диафрагмами жесткости немонотонного типа Обзорная информация
  по: Карабанов, Борис Владимирович
  Публикация: (1988)
• Достоверный и правдоподобный вывод в интеллектуальных системах
  Публикация: (2004)
• Логический подход к искусственному интеллекту От классической логики к логическому программированию
  Публикация: (1990)
• О полных модулях
  по: Корнев, А. И.
• Международная конференция по алгебре, посвященная памяти А. И. Ширшова (1921-1981) (Барнаул, 20-25 августа1991 г.) тезисы докладов по логике и универсальным алгебрам, прикладной алгебре
  Публикация: (1991)