Summary: DIVIDING AND CONQUERING LOGIC
A DISSERTATION
SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE
AND THE COMMITTEE ON GRADUATE STUDIES
OF STANFORD UNIVERSITY
IN PARTIAL FULFILLMENT OF THE REQUIREMENTS
FOR THE DEGREE OF
DOCTOR OF PHILOSOPHY
Eyal Amir
July 2002

c
Copyright by Eyal Amir 2002
All Rights Reserved
ii

I certify that I have read this dissertation and that in my opinion it is fully adequate,
in scope and quality, as a dissertation for the degree of Doctor of Philosophy.
John McCarthy
(Principal Adviser)

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences