Skip navigation
Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributorTrotter, Haleen_US
dc.contributor.advisorAppel, Andrewen_US
dc.contributor.authorTian, Kevin Ten_US
dc.format.extent60 Pagesen_US
dc.titleA Computer-Checked Proof to the Two Paths Problemen_US
dc.typePrinceton University Senior Thesesen_US
pu.departmentComputer Scienceen_US
pu.locationThis thesis can be viewed in person at the <a href=>Mudd Manuscript Library</a>. To order a copy complete the <a href="" target="_blank">Senior Thesis Request Form</a>. For more information contact <a></a>.en_US
Appears in Collections:Mathematics, 1934-2020
Computer Science, 1988-2020

Files in This Item:
There are no files associated with this item.

Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.