The Use of Lemmas in the Model Elimination Procedure.

Owen L. Astrachan Donald W. Loveland

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

Keyphrases

computational model
mathematical model
statistical model
multiscale
theoretical framework
formal model
theoretical analysis
experimental data
case study
multi agent systems
management system
em algorithm
autoregressive