Login / Signup
On Diagrammatic Representation of Mathematical Knowledge.
Zenon Kulpa
Published in:
MKM (2004)
Keyphrases
</>
mathematical knowledge
theorem prover