Paramodulation and set of support

Wos, L. | Robinson, G.

Feb-1-1968–Classics

Work performed under the auspices of the U. S. Atomic Energy Commission. To view the rest of this content please follow the download PDF link above.

artificial intelligence, logic & formal reasoning, paramodulation and set, (1 more...)

Feb-1-1968

Classics Web Page

Country:
- North America > United States (0.45)

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

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