Efficiency and completeness of the set-of-support strategy in theorem proving

Wos, L. | Carson, D. | Robinson, G.

Feb-1-1965–Classics

Get Citation Alerts New Citation Alert added!

argonne national laboratory, artificial intelligence, information management, (12 more...)

Feb-1-1965

Classics Web Page

Country:
- North America > United States (0.58)

Technology:
- Information Technology
  - Artificial Intelligence > Representation & Reasoning
    - Logic & Formal Reasoning (0.44)
  - Communications > Social Media (0.52)
  - Information Management (0.62)