Between proof and truth.

Julien Boyer Gabriel Sandu

Published in: Synth. (2012)

Keyphrases

theorem prover
theorem proving
linear logic
database
data sets
neural network
image processing
database systems
knowledge representation
mathematical proofs
machine learning
computer vision
three dimensional
multi agent
natural language
artificial neural networks