A proof theory for description logics
- Författare
- Alexandre. Rademaker
- (Alexandre Rademaker.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2012 | Storbritannien, London | 106 sidor. | 978-1-4471-4001-6 |
| Springer London, Imprint: Springer | 2012 | Storbritannien, London | X, 106 sidor. 16 illus. digital. | 978-1-4471-4002-3 |