A Survey of Automated Deduction

Bledsoe, W. | Hodges, R.

Feb-1-1988–Classics

Did you know your Organization can subscribe to the ACM Digital Library?

artificial intelligence, automated deduction, logic & formal reasoning, (1 more...)

Feb-1-1988

Classics Web Page

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