Edward F. Grove

EECS Department, University of California, Berkeley

1993

Advisors: Raimund Seidel

---

BibTeX citation:

@phdthesis{Grove:7880,
    Author= {Grove, Edward F.},
    Title= {Proofs with Potential},
    School= {EECS Department, University of California, Berkeley},
    Year= {1993},
}

EndNote citation:

%0 Thesis
%A Grove, Edward F. 
%T Proofs with Potential
%I EECS Department, University of California, Berkeley
%D 1993
%F Grove:7880