Deduction: Automated Logic

Feb-1-1993–Classics

Academic Press

artificial intelligence, automated logic, logic programming, (3 more...)

Feb-1-1993

Classics Web Page

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