Login / Signup
A Proof of Kamp's theorem.
Alexander Rabinovich
Published in:
Log. Methods Comput. Sci. (2014)
Keyphrases
</>
interactive theorem proving
theorem prover
theorem proving
three dimensional
von neumann
proof search
computer vision
data structure
description logics
linear logic
automated theorem proving
proof planning
intuitionistic logic