A Formal Analysis of Smithsonian Computational Reflection.

Inge M. C. Lemmens Peter J. Braspenning

Published in: Reflection (1999)

Keyphrases

formal analysis
formal methods
agent model
computational power
ban logic
artificial intelligence
information systems
e learning
life cycle
mathematical programming