Calculational Reasoning Revisited (An Isabelle/Isar Experience).

Gertrud Bauer Markus Wenzel

Published in: TPHOLs (2001)

Keyphrases

theorem prover
theorem proving
automated reasoning
knowledge base
reasoning systems
knowledge representation
user experience
reasoning tasks
natural deduction
signal processing
motion detection
expert systems
probabilistic reasoning
information systems
reasoning process
past experience
analogical reasoning