A prolog technology theorem prover: a new exposition and implementation in prolog

Feb-1-1992–Classics

Theoretical Computer Science, 104, 109â128.

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

Feb-1-1992

Classics Web Page

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