05431 Abstracts Collection - Deduction and Applications.

Franz Baader Peter Baumgartner Robert Nieuwenhuis Andrei Voronkov

Published in: Deduction and Applications (2005)

Keyphrases

document collections
database
case study
inference rules
theorem prover
theorem proving
information retrieval
genetic algorithm
three dimensional
computer vision
relational databases
case based reasoning
biomedical literature
automated theorem proving