Логика в решении проблем: Пер. с англ./

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

• Логика в решении проблем
  по: Ковальски, Роберт
  Публикация: (1990)
• Логический подход к искусственному интеллекту: От классической логики к логическому программированию: Пер. с фр./
  по: Грибомон, П. Паскаль, et al.
  Публикация: (1990)
• Искусственный интеллект и Пролог на микроЭВМ: Пер. с англ./
  по: Макаллистер, Дж
  Публикация: (1990)
• Математическая логика в программировании: Сборник статей 1980-1988 гг.: Пер. с англ./
  Публикация: (1991)
• Об альтернативе стандартной машине вывода в Прологе
  по: Новосельцев, Виталий Борисович