2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword.

Georg Gottlob Miki Hermann Michaël Rusinowitch

Published in: Theory Comput. Syst. (2004)

Keyphrases

international workshop
automated deduction
domain driven data mining
revised selected papers
selected papers
lecture notes in artificial intelligence
pacific rim
theorem prover
theorem proving
acm sigkdd
inference rules
databases
database systems
artificial neural networks