Inference rules for unsatisfiability /

UIUCDCS-R-79-955

Learning by inductive inference /

"Invited paper for the NATO Advanced Study Institute Seminar on Computer Oriented Learning Processes, Aug. 26-Sept. 7, 1974, Bonas, France."

Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation /

Vita.

A comparative discussion of variable-valued logic and grammatical inference /

Bibliography: p. 45-46.

INDUCE-1 : an interactive inductive inference program in VL logic system /

"UILU-ENG 77 1727."--Cover.

Exact and approximate Bayesian solutions for inference about variance components and multivariate inadmissibility : final report for period 1 May 1972-1 January 1976 /

Performing organization: Dept. of Statistics, University of Michigan.

An outline of a one semester course on distribution-free statistical inference: hypothesis testing (as given at Columbia University, Autumn 1958)

Mode of access: Internet.