Login / Signup
Semi-Unification and Generalizations of a Particularly Simple Form.
Matthias Baaz
Gernot Salzer
Published in:
CSL (1994)
Keyphrases
</>
artificial intelligence
highly reliable
mobile robot
theorem proving
database
data sets
decision making
data structure
data streams
artificial neural networks
special case
higher order
logic programming
black box