Research Catalog
Symbolic logic and mechanical theorem proving
- Title
- Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
- Author
- Chang, Chin-Liang, 1937-
- Publication
- New York, Academic Press [1973]
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 73-1946 | Offsite |
Details
- Additional Authors
- Lee, Richard Char-Tung, 1939-
- Description
- xiii, 331 p. illus.; 24 cm.
- Series Statement
- Computer science and applied mathematics.
- Subjects
- Bibliography (note)
- Bibliography: p. 309-324.
- Call Number
- JSE 73-1946
- LCCN
- 72088358
- OCLC
- 658102
- NYPG734434044-B
- Author
- Chang, Chin-Liang, 1937-
- Title
- Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee.
- Imprint
- New York, Academic Press [1973]
- Series
- Computer science and applied mathematics.
- Bibliography
- Bibliography: p. 309-324.
- Added Author
- Lee, Richard Char-Tung, 1939-
- Research Call Number
- JSE 73-1946