Login / Signup
The discovery of my completeness proofs.
Leon Henkin
Published in:
Bull. Symb. Log. (1996)
Keyphrases
</>
formal proofs
equational theories
theorem proving
formal proof
neural network
data quality
discovery process
scientific discovery
real world
decision making
knowledge discovery
pattern discovery
theorem prover
process mining