Theses most similar to those of author Givan, Robert Lawrence
Automatically inferring properties of computer programs (1996) read it
- Advisor: Olivier J. Blanchard
- Department of Economics
- Advisor: Boris Katz
- Department of Electrical Engineering and Computer Science
Europe divided but united : institutional integration and E.C.-U.S. trade negotiations since 1962
Meunier-Aitsahalia, Sophie, 1967- (1998)
- Advisor: Suzanne Berger
- Department of Political Science
- Advisors: Lionel C. Kimerling; Stephen C. Graves
- Department of Materials Science and Engineering
- Advisors: Mauro J. Atalla; Michael L. Fripp
- Department of Mechanical Engineering
- Advisor: John L. Wyatt, Jr.
- Department of Electrical Engineering and Computer Science
- Advisor: David L. Trumper
- Department of Mechanical Engineering
- Advisor: Frank Dale Morgan
- Department of Earth, Atmospheric, and Planetary Sciences
Numerical cognition in adults : representation and manipulation of nonsymbolic quantities
Barth, Hilary C. (Hilary Caroline), 1974- (2002)
- Advisors: Elizabeth Spelke; Nancy Kanwisher
- Department of Brain and Cognitive Sciences
- Advisor: Choon S. Tany
- Department of Aeronautics and Astronautics