Rademaker, Alexandre (Autor)
A Proof Theory for Description Logics
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4471-4002-3 |
|---|---|
| Seitenzahl | 106 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 2713 Kbytes |