Char-Tung Lee

EECS Department, University of California, Berkeley

1967

Advisors: Eugene Wong and James R. Slagle


BibTeX citation:

@phdthesis{Lee:7158,
    Author= {Lee, Char-Tung},
    Title= {A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms},
    School= {EECS Department, University of California, Berkeley},
    Year= {1967},
}

EndNote citation:

%0 Thesis
%A Lee, Char-Tung 
%T A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms
%I EECS Department, University of California, Berkeley
%D 1967
%F Lee:7158