Login / Signup
Invited talk: Three Notions of Proof.
Peter Naur
Published in:
Designing Correct Circuits (1992)
Keyphrases
</>
genetic programming
invited talk
knowledge discovery and data mining
selected papers
theorem prover
carefully reviewed and selected from submissions
linear logic
expert systems
neural network
data mining
decision making
metadata
control system
theorem proving
decision procedures
program committee