Dynamic Assertions Using TXP.

Surrendra Dudani Joao Geada Grzegorz Jakacki Daniel Vainer

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

Keyphrases

dynamically changing
dynamic environments
neural network
data analysis
genetic algorithm
knowledge base
web services
cooperative
multiresolution