A Proof Development System for HOL.

Published in: HUG (1993)

Keyphrases

theorem prover
information processing
rapid development
theorem proving
database
software engineering
development environment
knowledge base
case study
learning environment
knowledge management
development process
higher order logic