SETHEO: A high-performance theorem prover

Letz, R. | Schumann, J. | Bayerl, S. | Bibel, W.

Feb-1-1992–Classics

JAR, 8 (2), 183-212.

artificial intelligence, logic programming, theorem prover, (2 more...)

Feb-1-1992

Classics Web Page

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