Login / Signup
Proof of Church's Thesis
Ramón Casares
Published in:
CoRR (2012)
Keyphrases
</>
machine learning
computer vision
theorem prover
formal proof
linear logic
comprehensive set
theorem proving
data sets
probabilistic model
artificial intelligence
real time
cooperative
multiscale
database systems
image processing
decision making
automated theorem proving
proof search
proof planning
mathematical proofs