Bericht zur 9th Conference on Automated Deduction.
Hans Jürgen OhlbachManfred Schmidt-SchaußPublished in: Künstliche Intell. (1988)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- logic programming
- selected papers
- advances in artificial intelligence
- international conference
- inference rules
- program chairs
- annual conference
- deductive databases
- invited talk
- special session
- data sets
- invited paper
- poster session
- cutting edge
- international workshop
- training examples
- object oriented
- computer science
- training data
- high level
- artificial intelligence
- neural network