Modular proof systems for partial functions with Evans equality.

Harald Ganzinger Viorica Sofronie-Stokkermans Uwe Waldmann

Published in: Inf. Comput. (2006)

Keyphrases

expert systems
artificial intelligence
social networks
complex systems
database
data sets
real world
software engineering
computer systems
learning algorithm
e learning
search space
management system
distributed systems
learning systems