Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

  • Вид работы:
    Курсовая работа (п)
  • Предмет:
    Информатика, ВТ, телекоммуникации
  • Язык:
    Русский
    ,
    Формат файла:
    MS Word
    144,33 kb
Принцип резолюции в исчислении высказываний и логике предикатов и его модификации
программа ghtlbrfn

Для скачивания материала пожалуйста введите число, изображенное на рисунке:

 
Не нашли материал для своей работы?
Поможем написать уникальную работу
Без плагиата!