Programming with proofs and explicit contexts.
Brigitte PientkaJana DunfieldPublished in: PPDP (2008)
Keyphrases
- programming language
- theorem proving
- high level language
- neural network
- programming environments
- general purpose
- search algorithm
- hidden markov models
- expert systems
- theorem prover
- clustering algorithm
- computer programming
- programming environment
- natural deduction
- artificial intelligence
- formal proofs
- information retrieval