Back to results
University of Illinois at Urbana-Champaign
Topics in Automated Theorem Proving and Program Generation
Abstract
dc:descriptionThis thesis contains two parts, each deals with a different subject.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2014
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Hsiang, Jieh
Subjects
dc:subject × 1Identifiers
dc:identifier.*- Identifier
- (UMI)AAI8309960
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/69514