Refine your search

• Availability

  • Limit to records with available items

• Authors

  • Зигварт, Христоф (1)
  • Соболева, Ирина Анат... (1)

• Collections

  • не художественная (2)

• Item types

  • Выдается в читальный зал (2)
  • Книги (2)
  • Семестр (1)

• Locations

  • абонемент учебной литературы (1)
  • чз учебной литературы (2)

• Series

  • Университетская библ... (1)
  • Философия (1)

• Topics

  • аксиомы (1)
  • возможность (1)
  • встроенные предикаты (1)
  • динамическая база да... (1)
  • информационные систе... (1)
  • истинность (1)
  • логика (1)
  • логическое программи... (1)
  • необходимость (1)
  • операции на графах (1)
  • отрицание (1)
  • понятие (1)
  • предикат (2)
  • представление знаний (1)
  • программы на Прологе (1)
  • Пролог (1)
  • силлогизм (1)
  • слово (1)
  • стандартные предикат... (1)
  • язык ПРОЛОГ (1)
  • Show more
  • Show less