Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory.

Published in: J. Autom. Reason. (1987)

Keyphrases

approximate reasoning
case study
real world
theoretical framework
lessons learned
development process
belief functions
theoretical basis
general theory
formal models
model based reasoning
formal theory
cognitive maps
detailed descriptions
plausible reasoning