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.

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

"UILU-ENG 77 1726."

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.

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

"UILU-ENG 80 1719"--Cover.

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.

Performance characteristics of fast logic for ILLIAC III : Basic NAND and NOR circuits.

Mode of access: Internet.

Synthesis of logic networks with MOS complex cells.

Vita.

Use and description of the CALCOMP program to draw networks of logic gates /

Mode of access: Internet.

Hegel's logic : an essay in interpretation /

Introduction.--pt. 1. The doctrine of being.--pt. 2. The doctrine of essence.--pt. 3. The doctrine of notion.--Appendix: A glossary of the more important philosophical terms in Hegel's logic.