Formal Systems for Mechanized Statistical Inference.

Tomás Havránek

Published in: Int. J. Man Mach. Stud. (1981)

Keyphrases

statistical inference
graphical models
statistical learning
management system
distributed systems
computer systems
model selection
complex systems
formal methods
decision trees
search space
statistical methods
information theory