Theses most similar to those of author Fox, Harold, 1979-
The eFacilitator : a meeting capture application and infrastructure (2003) read it
We were unable to OCR the PDF of this thesis. Therefore we cannot analyze its content. We're sorry. We feel sad that we can't help you.
Agent problem solving by inductive and deductive program synthesis (2008) read it
- Advisor: David A. McAllester
- Department of Electrical Engineering and Computer Science
- Advisor: Albert R. Meyer
- Department of Electrical Engineering and Computer Science
On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
Arkoudas, Kostas (1996)
- Advisor: David Allen McAllester
- Department of Electrical Engineering and Computer Science
- Advisor: Bauman, Randall (Randall David), 1971-
- Department of Electrical Engineering and Computer Science
- Advisor: Leslie Pack Kaelbling
- Department of Electrical Engineering and Computer Science
- Advisor: Tim Berners-Lee
- Department of Electrical Engineering and Computer Science
- Advisor: Daniel N. Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Olin Shivers
- Department of Electrical Engineering and Computer Science
- Advisors: Armando Solar̆-Lezam; Sumit Gulwani
- Department of Electrical Engineering and Computer Science
- Advisor: Adam Chlipala
- Department of Electrical Engineering and Computer Science