University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1681–1710 of 4,459 items
Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Glacial tills of Northwestern Illinois
Glacial tills of Northwestern Illinois
Illinois State Geological Survey; Frye, John Chapman

Thumbnail for La Moine River area assessment
La Moine River area assessment
Submitter: Steven Mccauley

Thumbnail for Soils of Illinois
Soils of Illinois
Fehrenbacher, Joe Bernard; Walker, G.O.; Wascher, Herman L.

Thumbnail for Prairie Research Institute 2011 Report
Prairie Research Institute 2011 Report
Prairie Research Institute

Thumbnail for Illinois mineral industry in 1942
Illinois mineral industry in 1942
Voskuil, Walter Henry; Stevens, Douglas F.