Алгоритм DPLL

940 просмотров · 10 л. назад

Irina Shoshmina

855 подписчиков

940 просмотров · 10 л. назад

Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/