Login / Signup
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.
Jan von Plato
Published in:
Bull. Symb. Log. (2007)
Keyphrases
</>
mathematical proofs
theorem prover
first order logic
cognitive processes
artificial intelligence
natural language
light source
computer vision
knowledge base
computational intelligence
virtual environment
social interaction
inference rules
error analysis
secret image sharing