Login / Signup
MBase: Representing mathematical knowledge in a relational data base.
Andreas Franke
Michael Kohlhase
Published in:
Calculemus (1999)
Keyphrases
</>
mathematical knowledge
theorem prover
computer software
expert systems
theorem proving