Intentional Gaps In Mathematical Proofs.

Published in: Synth. (2003)

Keyphrases

mathematical proofs
cognitive processes
theorem prover
natural language
artificial intelligence
databases
image processing
similarity measure
user interface
mobile robot
data management