Symbolic logic and mechanical theorem proving
- Författare
- Chin-Liang Chang
- (Chin-Liang Chang, Richard Char-tung Lee.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Academic Press | cop. 1973 | USA, New York | 331 sidor. | 978-0-12-170350-9 |
| Academic Press | 1973 | New York, New York, New York, London, England | 1 online resource (349 sidor.) | |
| Academic Press | 1973 | Utgivningsland okänt / Ej specificerat |