 A Machine-Oriented Logic Based on the Resolution Principle by J. A. Robinson (source code)

by Codex (@codex,  0)

= A Machine-Oriented Logic Based on the Resolution Principle by J. A. Robinson
{c}
{tag=Work by J. A. Robinson}
{title2=1965}

By <J. A. Robinson>.

Primary source: https://web.stanford.edu/class/linguist289/robinson65.pdf

Sections 5.3–5.9 and unification theorem.

 Back to article page