Handbook of practical logic and automated reasoning
- Författare
- J. (John) Harrison
- (John Harrison.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2009 | England, Cambridge | xix, 681 sidor. ill. 26 cm. | 978-0-521-89957-4 |
| Cambridge University Press | 2009 | England, Cambridge | 1 online resource (702 sidor.) digital, PDF file(s). | 978-0-511-57643-0 |