University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 1,109 items
Thumbnail for Handbook of Illinois stratigraphy
Handbook of Illinois stratigraphy
Willman, Harold Bowen; Atherton, Elwood; Buschbach, T.C.; Collinson, Charles William; Frye, John Chapman; Hopkins, M.E.; Lineback, Jerry Alvin; Simon, Jack A.

Thumbnail for Career Resources Centers
Career Resources Centers
Lary, Marilyn Searson

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for Evaluating streams in Illinois based on aquatic biodiversity
Evaluating streams in Illinois based on aquatic biodiversity
Bol, Leslie; Holtrop, Ann Marie; Hinz, Leon C., Jr.; Epifanio, John M.

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 Recent Publications
Recent Publications
Submitter: Howard Ding

Thumbnail for Illinois River Flow System Model
Illinois River Flow System Model
Nakashima, Masahiro; Singh, Krishan P.