Login / Signup
An Automatic Proof of Gödel's Incompleteness Theorem.
Kurt Ammon
Published in:
Artif. Intell. (1993)
Keyphrases
</>
interactive theorem proving
fully automatic
incomplete information
semi automatic
database
databases
probabilistic model
missing values
theorem proving