Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010
Published in: PAR@ITP (2012)
Keyphrases
- bayesian networks
- theorem prover
- computer algebra systems
- theorem proving
- automated reasoning
- lecture notes
- hong kong
- automated theorem proving
- computer algebra
- term rewriting
- automated deduction
- first order logic
- inference rules
- user interaction
- natural deduction
- computer science
- formal semantics
- user friendly
- deductive databases
- computer graphics
- timed automata
- machine learning
- complex objects
- evolutionary algorithm
- high level
- higher order logic
- lower layers
- data mining