Paramodulation and set of support

Wos, L. | Robinson, G.

Feb-1-1968–Classics

In Proc. IRIA Symposium on Automatic Demonstration, pp. 276–310.

artificial intelligence, logic programming, set of support, (1 more...)

Feb-1-1968

Classics Web Page

Country:
- North America > United States (0.25)

Genre:
- Instructional Material > Course Syllabus & Notes (0.46)

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