Login / Signup
Special Issue on Automated Deduction.
Jürgen Giesl
Published in:
Künstliche Intell. (2010)
Keyphrases
</>
automated deduction
special issue
theorem proving
theorem prover
international journal
ai edam
inference rules
logic programming
ecml pkdd
artificial intelligence
deductive databases
applied intelligence
special section
logic programs
first order logic
data management
database systems