The Shape of ℰℒ Proofs: A Tale of Three Calculi
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Description Logics 2025 |
| Herausgeber (Verlag) | CEUR-WS.org |
| Seitenumfang | 11 |
| Publikationsstatus | Veröffentlicht - 2025 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR Workshop Proceedings |
|---|---|
| Band | 4091 |
| ISSN | 1613-0073 |