The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant.

Published in: Functional Programming (1995)

Keyphrases

cost effective
rapid development
data processing
digital media
computer vision
case study
st century
real time
knowledge base
search algorithm
test bed
technological advances