Design of optimal one-bit adder networks by integer linear programming /

"July 15, 1971."

High order stiffly stable methods for ordinary differential equations

Supported in part by contract U.S. AEC AT(11-1) 1469 and in part by National Science Foundation grant NSF-GJ-217.

EOL programming examples: a primer,

"Supported in part by the National Science Foundation under Grant no. GP-4636."

Synthesis of optimal networks with NOR and NAND gates by integer programming /

"January 18, 1971."

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 factorization procedure that is equivalent to successive over relaxation /

"This work was supported in part by the National Science Foundation under Grant No. GJ812."

Stability of a system of equations describing the flow behind a shock /

"This work has been supported by the National Science Foundation under Grant G-1221"

An implicit method for the solution of elliptic partial differential equations.

Supported in part by National Science Foundation under Grant No. U.S. NSF-GJ-328.

INDUCE-1 : an interactive inductive inference program in VL logic system /

"UILU-ENG 77 1727."--Cover.

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."

Restricted oracles /

"October 1979,"--Cover, p.1.

Remarks on the round-off errors in iterative processes for fixed-point computers /

"May 10, 1962."

Conservation laws and variational principles in general relativity /

"April 23, 1962."

On a problem of Katona on minimal separating systems /

"This work was supported in part by the National Science Foundation under Grant No. US NSF GJ41538."

Theorem proving with abstraction, part II /

Supported in part by the National Science Foundation under grant MCS 77-22830.