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.

Derivation of the 1963 & 1967 total employment vector for 362 I/O sectors /

"Supported by the National Science Foundation, NSF grant GI-35179X."

Some new results on resolution in automated theorem proving,

Issued also as thesis (M.S.) University of Illinois.

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

"UILU-ENG 80 1719"--Cover.

The logical design of a class of limited carry-borrow propagation adders,

On cover: C00-1018-1152.

Program manual : NOR network transduction based on error-compensation : (Reference manual of NOR network transduction programs NETTRA-EL, NETTRA-E2, and NETTRA-E3) /

"Work supported in part by the National Science Foundation under Grant no. GJ-40221."

An approximate stress energy tensor for gravitational fields /

"This work was supported in part by the National Science Foundation under grant G9503."

A modular microprogrammed computer with concurrent decentralized control.

"Supported in part by the National Science Foundation under Grant no. US NSF GJ-36265."

Singular shocks with straight branches /

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

An Analog-to-digital conversion supervision for the IBM 1800,

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

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

On the use of finite field based modeling in polynomial manipulation,

Vita: p. 105.

Cost effective priority assignment in network computers,

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