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!

artificial intelligence, information management, logic & formal reasoning, (14 more...)

Feb-1-1965

Classics Web Page

Country:
- North America > United States
  - Illinois (0.12)
  - District of Columbia > Washington (0.05)
  - New York > New York County
    - New York City (0.05)

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