Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book.
William BillingsleyPeter RobinsonPublished in: J. Autom. Reason. (2007)
Keyphrases
- theorem prover
- award winning
- natural deduction
- theorem proving
- inference rules
- java programming
- learning guide
- higher order logic
- book presents
- programming skills
- screen shots
- first order logic
- cut elimination
- sequent calculus
- microsoft office
- topics covered
- revised edition
- multiple choice
- learning environment
- graduate students
- cutting edge
- researchers and practitioners
- artificial intelligence
- online course
- review questions
- postgraduate students
- learning process
- learning styles
- student learning
- complete coverage
- student model
- key concepts
- programming course
- linear logic
- word processing