Pipe interaction with the backfill envelope.

"June 1999."

Sperner's theorem on maximal-sized antichains and its generation /

Includes bibliographical references.

Theorem proving with abstraction, part II /

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

Some new results on resolution in automated theorem proving,

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

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Block envelope solution of finite difference systems /

"November, 1975."--T.p.

A special quartic curve obtained by finding the envelope of a system of conics.

Thesis (M.A.)--Univ. of California. Dec. 1916,

Binomial theorem and logarithms. For the use of the midshipmen at the naval school, Philadelphia.

Preface signed: William Chauvenet.

The blue envelope,

Mode of access: Internet.