Automated Reasoning: Introduction and Applications

Wos, L. | Overbeek, R. | Lusk, E. | Boyle, J.

Feb-1-1992–Classics

McGraw-Hill

artificial intelligence, logic & formal reasoning, logic programming, (4 more...)

Feb-1-1992

Classics Web Page

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