Algebraic Tools for System Construction.

Jan A. Bergstra Jan Willem Klop John V. Tucker

Published in: Logic of Programs (1983)

Keyphrases

software tools
databases
website
real world
data mining
machine learning
information systems
case study
bayesian networks
information technology
higher order
mathematical models