Login / Signup
Mathematical Proofs.
Marco Panza
Published in:
Synth. (2003)
Keyphrases
</>
mathematical proofs
cognitive processes
theorem prover
natural language
data mining