Transformational Design in a Theorem Prover.

Published in: TPCD (1992)

Keyphrases

theorem prover
user interface
term rewriting
case study
automated reasoning
design process
automated deduction
e learning
semi supervised
first order logic
formal proof