Record Details
A mechanization of Quine's canonical form
ScholarsArchive at Oregon State University
| Field | Value |
|---|---|
| Title | A mechanization of Quine's canonical form |
| Names |
Laxdal, Albert Lee
(creator) Goheen, Harry E. (advisor) |
| Date Issued | 1959-05-13 (iso8601) |
| Note | Graduation date: 1959 |
| Genre | Thesis/Dissertation |
| Topic | Algebra, Boolean |
| Identifier | http://hdl.handle.net/1957/50177 |
