University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 1,429 items
Thumbnail for iConference 2009 Program
iConference 2009 Program
iConference Planning Committee

Thumbnail for Final Report for W-183-R-1: Wild Turkey Responses to Forest Management
Final Report for W-183-R-1: Wild Turkey Responses to Forest Management
Hoover, Jeffrey P.; Parker, Christine M.; Schelsky, Wendy M.; Benson, Thomas J.

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 iConference 2014 Program
iConference 2014 Program
iConference 2014 Program Committee