Please use this identifier to cite or link to this item:
http://arks.princeton.edu/ark:/88435/dsp01rx913s41pFull metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | xxx | - |
| dc.contributor.author | Linton, Mark | - |
| dc.date.accessioned | 2017-06-14T14:31:16Z | - |
| dc.date.available | 2017-06-14T14:31:16Z | - |
| dc.date.created | 1978-05-24 | - |
| dc.date.issued | 2017-06-14 | - |
| dc.identifier.other | 27494 | - |
| dc.identifier.uri | http://arks.princeton.edu/ark:/88435/dsp01rx913s41p | - |
| dc.format.extent | 44 pages | * |
| dc.language.iso | en_US | en_US |
| dc.title | Some Automatic Theorem Proving Routines | en_US |
| dc.type | Princeton University Senior Theses | - |
| pu.date.classyear | 1978 | en_US |
| pu.department | Electrical Engineering | en_US |
| pu.pdf.coverpage | SeniorThesisCoverPage | - |
| Appears in Collections: | Electrical Engineering, 1932-2020 | |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| senior thesis copyright cover page.pdf | 78.04 kB | Adobe PDF | Request a copy |
Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.