Principles of automated theorem proving
- Författare
- David A. Duffy
- (David A. Duffy.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Wiley | cop. 1991 | Storbritannien, Chichester | xviii, 243 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Wiley | cop. 1991 | Storbritannien, Chichester | xviii, 243 sidor. |