Soundness of a purely syntactical formalizationof weakest preconditions.

Rudolf Berghammer

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

Keyphrases

explanation based learning
natural language text
artificial intelligence
search engine
web services
inference rules
databases
machine learning
face recognition
data structure
expert systems
domain knowledge
management system
case based reasoning