Unification of Theories: A Challenge for Computing Science.

Published in: COMPASS/ADT (1995)

Keyphrases

equational theories
longitudinal study
real time
data mining
artificial intelligence
higher order
formal models
database
data sets
databases
learning algorithm
information technology
knowledge representation
theoretical framework
learning sciences
design theory