Login / Signup

Mathematical Proofs.

Marco Panza
Published in: Synth. (2003)
Keyphrases
  • mathematical proofs
  • cognitive processes
  • theorem prover
  • natural language
  • data mining