A Computational Logic

Boyer, R. S. | Moore, J. S.

Feb-1-1979–Classics

Academic Press

artificial intelligence, decision procedure, logic & formal reasoning, (12 more...)

Feb-1-1979

Classics Web Page

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