Recent Theses

MoL-2005-08:
Gustavo Lacerda da Melo Automating Normal Science: Reusing Exemplars in Quantitative Explanations
1.Abstract.