Login / Signup
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem.
Alan Bundy
Fausto Giunchiglia
Adolfo Villafiorita
Toby Walsh
Published in:
J. Autom. Reason. (1997)
Keyphrases
</>
interactive theorem proving
theorem prover
theorem proving
high level
higher level
database
real time
databases
computer vision
website
missing values
proof planning
neural network
low level
logic programs
incomplete information