Login / Signup
MERILL: An Equational Reasoning System in Standard ML.
Brian Matthews
Published in:
RTA (1993)
Keyphrases
</>
maximum likelihood
information systems
clustering algorithm
multi agent
data structure
viewpoint