University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–60 of 161 items
Thumbnail for The Mexican system
The Mexican system
Holper, Mary P.

Thumbnail for Science fiction and the theatre
Science fiction and the theatre
Willingham, Ralph Allen

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

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 Commencement program. 1916/29
Commencement program. 1916/29
University of Illinois at Urbana-Champaign