A mechanization of Quine's canonical form
By: by Albert Lee Laxdal.
Published: 1959
Language: eng
Number of pages: 39
Subjects: Algebra, Boolean.; Polynomials.; Computers.
Notes: Typescript.

Thesis (M.S.)--Oregon State College, 1959.

Bibliography: leaf 39.