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