Login / Signup
Typed-Equational Types: Pragmatics.
Giuseppe Scollo
Published in:
ADT (1988)
Keyphrases
</>
multiscale
theorem proving
database
computer vision
image processing
multiresolution
natural language processing