Formal and Informal Proofs.

John Alan Robinson

Published in: Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)

Keyphrases

formal model
theorem proving
informal learning
formal proof
formal and informal learning
real world
genetic algorithm
computer vision
decision making
web pages
formal specification
formal representation
mathematical theory
equational theories