8 Paramodulation and Theorem-proving in First-Order Theories with Equality G. Robinson and L. Wos

Jan-25-2015, 22:14:53 GMT–AI Classics/files/AI/classics/Machine Intelligence 4/MI4-Ch8-Robinson&Wos.pdf

Robinson, J.A. (1965) A machine-oriented logic based on the resolution principle.

logic & formal reasoning, machine learning, natural language, (23 more...)

Jan-25-2015, 22:14:53 GMT

Country:
- North America > United States (0.67)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found