Mathematical Proofs at a Crossroad?

Cristian Calude Solomon Marcus

Published in: Theory Is Forever (2004)

Keyphrases

mathematical proofs
cognitive processes
theorem prover
natural language
artificial intelligence
learning environment
knowledge base
computer science
inference rules