Условие задания:

1♦
Дано описание события. В каком году это произошло?
 
"A machine oriented logic based on the resolution principle", "Journal of the ACM №12", Дж. Робинсон представил метод автоматического поиска доказательства теорем в исчислении предикатов первого порядка - "принцип резолюции".
 

Для того чтобы решать задания, необходимо зарегистрироваться.

Быстрая регистрация: