A computational logic handbook
- Författare
- Robert S. Boyer
- (Robert S. Boyer, J Strother Moore.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Academic Press | 1988 | USA, Boston | xvi, 408 sidor. 24 cm | |
| Academic Press | cop. 1979 | USA, New York | 397 sidor. |