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

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

A class of algorithms for automatic evaluation of certain elementary functions in a binary computer.

"Supported in part...under Grant No. US NSF GJ812 and Grant No. US NSF GJ813."

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.

Generating binary trees lexicographically /

Bibliography: p. 26.

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"

A prototype binary image scaling facility /

"UILU-ENG 84 1703"--Cover.

Consistent properties of composite formation under a binary relation,

"Supported by Contract AT (11-1)-1018 with the U.S. Atomic Engery Commission."