Dynamic composition of parameterised logic modules.

Antonio Brogi Chiara Renso Franco Turini

Published in: Comput. Lang. (1999)

Keyphrases

building blocks
artificial neural networks
software engineering
dynamic environments
expressive power
theorem proving
functional modules
proof theory