A planar geometrical model for representing multidimensional discrete spaces and multiple-valued logic functions /

Bibliography: p. 37-38.

SYM-1, a program that detects symmetry of variable-valued logic functions /

Mode of access: Internet.

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

Bibliography: p. 45-46.

Selected problems of minimization of variable-valued logic formulas /

"UIUCDCS-R-75-726"

Learning without negative examples via variable-valued logic characterizations : the uniclass inductive program AQ7UNI /

"July 1979."

An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic /

"UILU-ENG 79 1714."

Toward computer-aided induction : a brief review of currently implemented AQVAL programs /

"UILU-ENG 77 1726."

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.

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

Vita.

Design of irredundant multiple-level MOS networks for multiple-output and incompletely specified functions /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.