![](/img/cover-not-exists.png)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Wos, Lawrence, Robinson, George A., Carson, Daniel F.Volume:
12
Year:
1965
Language:
english
Pages:
6
DOI:
10.1145/321296.321302
File:
PDF, 369 KB
english, 1965