University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 477 items
Thumbnail for Theorem Proving in Lean
Theorem Proving in Lean
Hieronymi, Philipp ; Karve, Vaibhav; Blanchard, Eion; Harman, Scott; Ravi, Nikil; Zhao, Fenglong; Thompson, Kyle; Xu, Tianfan; Schargorodsky, Joel; Wulffraat, Noble • 2022

Thumbnail for Modality and Logical Form
Modality and Logical Form
Riggs, Donald Royal

Thumbnail for The Surface tensions of molten glass ; part I : surface tensions of molten glasses
The Surface tensions of molten glass ; part I : surface tensions of molten glasses
Parmelee, Cullen Warner; Lyon, Kenneth Cassingham; Harman, Cameron Gerald

Thumbnail for Non solus.
Non solus.
Bennett, Scott Boyce

Thumbnail for Oxidation of coal.
Oxidation of coal.
Yohe, Gail Robert

Thumbnail for Non solus.
Non solus.
Bennett, Scott Boyce

Thumbnail for Engineering and legal aspects of land drainage in Illinois.
Engineering and legal aspects of land drainage in Illinois.
Pickels, George Wellington; Leonard, Frank Bonner, b. 1891.

Thumbnail for Some economic problems of the Illinois River Valley
Some economic problems of the Illinois River Valley
Bogart, Ernest L.; Asburn, T.Q.; Hight, Eugene S.; Stewart, Charles L.; Harman, Jacob A.; Buswell, Arthur M.; Boruff, C.S.; Greeley, Samuel L.; Bradford, Ralph F.; Thompson, David H.