Login / Signup

Semi-Unification and Generalizations of a Particularly Simple Form.

Matthias BaazGernot 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