A Survey of Automated Deduction

Bledsoe, W. | Hodges, R.

Feb-1-1988–Classics

Full text of chapter not available. In: Howard Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann

automated deduction, information management

Feb-1-1988

Classics Web Page

Genre:
- Overview (0.40)

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