Eintrag weiter verarbeiten
LTL over description logic axioms
Gespeichert in:
Zeitschriftentitel: | ACM Transactions on Computational Logic |
---|---|
Personen und Körperschaften: | , , |
In: | ACM Transactions on Computational Logic, 13, 2012, 3, S. 1-32 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |