A Calculus for Reconfiguration: (Extended abstract).

Sonia Fagorzi Elena Zucca

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

extended abstract
manufacturing systems
automated theorem proving
artificial neural networks
automated deduction
neural network
information retrieval
artificial intelligence
decision trees
database systems
control system
complex objects
formal language
database query languages
holonic manufacturing systems