Login / Signup

Bounded Existentials and Minimal Typing.

Giorgio GhelliBenjamin C. Pierce
Published in: Theor. Comput. Sci. (1998)
Keyphrases
  • knowledge base
  • three dimensional
  • image sequences
  • object recognition
  • expert systems
  • control system