Sign in
Proof nets for Herbrand's Theorem
Richard McKinley
Published in:
CoRR (2010)
Keyphrases
</>
interactive theorem proving
logic programs
first order logic
logic programming
theorem prover
theorem proving
linear logic
statistical relational learning
intuitionistic logic
geometry theorem proving
database
databases
knowledge base
case study
high level