Login / Signup
The calculus of constructions as a framework for proof search with set variable instantiation.
Amy P. Felty
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
proof search
artificial intelligence
probability distribution
theorem proving
object oriented