H ? « ‹ ← → › »

Language peer sets for LOP:
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

LOP(ID:1695/lop001)

alternate simple view
Designed 1992
Published: 1992

Language based on first-order logic.
References:
  • (1992) "SETHEO A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder