The impact of CASC in the development of automated deduction systems.

Robert Nieuwenhuis

Published in: AI Commun. (2002)

Keyphrases

automated deduction
technical issues
knowledge based systems
expert systems
intelligent systems
management system
learning systems
database
neural network
artificial intelligence
case study
knowledge management
distributed systems
complex systems
support systems