Equational Reasoning with Two-Dimensional Diagrams.

Published in: Term Rewriting (1993)

Keyphrases

three dimensional
multi dimensional
real world
data mining
machine learning
computer vision
image processing
search algorithm
three dimensional objects
graphical representations
uml diagrams