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

Mode of access: Internet.

An analysis of the regression model for nonsaturating logic circuit analysis.

Also issued as thesis (M.S.) University of Illinois.

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

Vita.

A manual of SIMPL, a logic network simulator for PLATO /

"UILU-ENG 79 1728."

The University of Illinois attached machine operating system: design criteria and program logic,

"Supported in part by National Science Foundation under Grant No. NSF-GP-7634."

A resolution style proof procedure for higher-order logic /

Thesis--Illinois.

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

"UILU-ENG 79 1714."

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.

BURSTLOGIC : design and analysis of logic circuitry to perform arithmetic on data in the Burst format /

Thesis--Illinois.

Design of digital computer circuits using a basic logic cell.

Thesis (M.S.)--University of Illinois.

Selected problems of minimization of variable-valued logic formulas /

"UIUCDCS-R-75-726"

Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

Control point design using modular logic,

Mode of access: Internet.

Minimization of logic networks under a generalized cost function /

Includes bibliographical references.