Proof Systems for Struvtured Algebraic Specifications: An Overview.

Rolf Hennicker Martin Wirsing

Published in: FCT (1997)

Keyphrases

distributed systems
database
expert systems
computer systems
complex systems
e learning
retrieval systems
machine learning
knowledge base
building blocks
learning systems