Enumerations of ordered trees /

Errata slip inserted.

Improving the performance of virtual memory computers /

"UILU-ENG 78 1741."

Learning and generalization of structural descriptions : evaluation criteria and comparative review of selected methods /

"February 1980."

Load regulation and dispatching in a network of computers /

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

A one-word model of a word-arrangement memory /

"May 28, 1957"

On Newton-iterative methods for the solution of systems of nonlinear equations /

Based on the author's thesis, Yale.

Stability and convergence of variable order multistep methods,

Includes bibliographical references.

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

"UILU-ENG 77 1726."

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.

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

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

Extension of the Huffman tree construction algorithm /

Bibliography: p. 42-43.

Generation and comparison of equivalent equation sets in a general purpose simulation and modeling package /

"C00-2383-0018."

On the synthesis by integer programming of optimal NOR gate networks for four variable switching functions /

"Supported in part by the National Science Foundation under grant no. NSF GJ-503."

The role of the library in an electronic society /

"Papers presented at the 1979 Clinic on Library Applications of Data Processing, April 22-25, 1979."