Quotient Types: A Modular Approach.

Published in: TPHOLs (2002)

Keyphrases

neural network
artificial intelligence
computer vision
image processing
three dimensional
cooperative
relational databases
database
real world
information retrieval
multimedia
website
data structure
digital libraries