Лекция 16. Метод резолюций и логическое программирование
Лекция из курса:
Лекция 16. Метод резолюций и логическое программирование
Предыдущая лекция

15
Лекция 15. Теорема Эрбрана
01:27:55