Login / Signup
Bounded Existentials and Minimal Typing.
Giorgio Ghelli
Benjamin C. Pierce
Published in:
Theor. Comput. Sci. (1998)
Keyphrases
</>
knowledge base
three dimensional
image sequences
object recognition
expert systems
control system