LOP(ID:1695/lop001)
Began: 1992
Languages for 1992
1990s languages
Fifth generation
Post-Cold War
Published: 1992
1992
Language based on first-order logic.
References:
"SETHEO A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992).
view details