Mechanizing Constructive Proofs (Abstract).

Gérard P. Huet

Published in: CADE (1986)

Keyphrases

formal proof
state machines
high level
theorem proving
information systems
learning environment
equational theories
databases
machine learning
decision making
case based reasoning
higher level
decision procedures