Tuning algebraic specifications by type merging.

Alfred Laut Helmuth Partsch

Published in: Symposium on Programming (1982)

Keyphrases

artificial intelligence
data sets
machine learning
high level
bayesian networks
real time
real world
computer vision
e learning
multiscale
expert systems
software engineering
merging algorithm