Automatic cell generation for recurrence structures /

"NSF-OCA-MCS76-81686-000052."--Cover.

An algorithm for solving linear recurrence systems on parallel and pipelined machines /

"UILU-ENG 78 1745."

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

Report of Commission appointed to investigate the cause of recent disastrous explosions in the coal-mines of southeastern Kansas and to suggest some means of preventing the recurrence of such disasters.

"Archie Fulton, Lansing, James A. Orr, Weir City, Edward Bartow, Lawrence."

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

Preface signed: William Chauvenet.

Outlines of a system of political economy : written with a view to prove to government and the country, that the cause of the present agricultural distress is entirely artificial, and to suggest a plan for the management of the currency, by which it may be remedied now, and any recurrence of similar evils be prevented in future ; together with the fourth edition of an Essay on the principles of banking /

Goldsmiths'-Kress no. 23743.