Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010
Published in: UITP (2012)
Keyphrases
- theorem prover
- user interface
- lecture notes
- hong kong
- computer science
- automated theorem proving
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- inference rules
- automated deduction
- graphical user interfaces
- human computer interaction
- computer algebra
- end users
- higher order logic
- formal semantics
- computer algebra systems
- natural deduction
- user friendly
- proof search
- digital libraries
- artificial intelligence in medicine
- logic programming
- probabilistic model