A Proof of Kamp's theorem.

Alexander Rabinovich

Published in: CSL (2012)

Keyphrases

interactive theorem proving
von neumann
linear logic
automated theorem proving
digital topology
real time
data sets
machine learning
genetic algorithm
preprocessing
hidden markov models
theorem prover
theorem proving
logical rules
proof planning