Logic for Computer Science: Foundations of Automatic Theorem Proving

Feb-1-1986–Classics

Harper and Row.

artificial intelligence, educational setting, logic & formal reasoning, (19 more...)

Feb-1-1986

Classics Web Page

Genre:
- Summary/Review (0.32)

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