Please use this identifier to cite or link to this item:
http://arks.princeton.edu/ark:/88435/dsp01rx913s41p| Title: | Some Automatic Theorem Proving Routines |
| Authors: | Linton, Mark |
| Advisors: | xxx |
| Department: | Electrical Engineering |
| Class Year: | 1978 |
| Extent: | 44 pages |
| Other Identifiers: | 27494 |
| URI: | http://arks.princeton.edu/ark:/88435/dsp01rx913s41p |
| Type of Material: | Princeton University Senior Theses |
| Language: | en_US |
| 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.