Login / Signup
20 Years of leanCoP - An Overview of the Provers.
Jens Otten
Published in:
AReCCa@TABLEAUX (2023)
Keyphrases
</>
theorem proving
years ago
e learning
multimedia
theorem prover
database
databases
information systems
knowledge base
case study
fifty years