A Support System for Formal Reasoning: Requirements and Status.

Cliff B. Jones Peter A. Lindsay

Published in: VDM Europe (1988)

Keyphrases

end users
formal models
formal model
meta level
data sets
knowledge base
user requirements
heterogeneous environments
mathematical theory
multiple representations
reasoning processes