On free annotated algebras.

Renato A. Lewin Irene F. Mikenberg María G. Schwarze

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

manually annotated
topological spaces
neural network
three dimensional
high level
genetic algorithm
image processing
multimedia
expert systems
user interface
domain specific
spatial reasoning