Sign in
6th ICSE Workshop on Component-Based Software Engineering: automated reasoning and prediction.
Ivica Crnkovic
Heinz W. Schmidt
Judith A. Stafford
Kurt C. Wallnau
Published in:
ACM SIGSOFT Softw. Eng. Notes (2004)
Keyphrases
</>
automated reasoning
reasoning systems
theorem proving
decision procedures
knowledge representation
theorem prover
probabilistic reasoning
reasoning tasks
knowledge representation and reasoning
real world
general purpose
software development
software systems
first order logic