Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007498391/catalog> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- catalog contributor b10354849.
- catalog created "1996".
- catalog date "1996".
- catalog dateCopyrighted "1996".
- catalog description "Division of Engineering and Applied Sciences.".
- catalog description "Includes bibliographical references (leaves 22-24).".
- catalog description "Thesis (A.B., Honors in Computer Science)--Harvard University, 1996.".
- catalog extent "24 leaves ;".
- catalog issued "1996".
- catalog language "eng".
- catalog subject "Programming languages (Electronic computers)".
- catalog subject "Proof theory.".
- catalog title "Verifying membership for NP-languages, or how to avoid reading long proofs / a thesis presented by Leonid N. Reyzin.".
- catalog type "text".