The sharing of structure in theorem-proving programs

Boyer, R.S. | Moore, J.S.

Feb-1-1972–Classics/files/AI/classics/Machine_Intelligence_7/MI-7-Ch6-BoyerMoore.pdf

Machine Intelligence 7

artificial intelligence, binding environment, bndev, (17 more...)

Feb-1-1972

Technology:
- Information Technology > Artificial Intelligence (1.00)

Duplicate Docs Excel Report

Title
6 The Sharing of Structure in Theorem proving Programs

Similar Docs Excel Report more

Title	Similarity	Source
None found