Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings |
| Herausgeber/-innen | Mitsunori Ogihara, Jun Tarui |
| Seiten | 552-562 |
| Seitenumfang | 11 |
| Band | 6648 |
| Publikationsstatus | Veröffentlicht - 2011 |
Publikationsreihe
| Name | Lecture Notes in Computer Science |
|---|---|
| Herausgeber (Verlag) | Springer |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). / Meier, Arne; Schneider, Thomas.
Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Hrsg. / Mitsunori Ogihara; Jun Tarui. Band 6648 2011. S. 552-562 (Lecture Notes in Computer Science).
Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Hrsg. / Mitsunori Ogihara; Jun Tarui. Band 6648 2011. S. 552-562 (Lecture Notes in Computer Science).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
Meier, A & Schneider, T 2011, Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). in M Ogihara & J Tarui (Hrsg.), Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Bd. 6648, Lecture Notes in Computer Science, S. 552-562. https://doi.org/10.1007/978-3-642-20877-553
Meier, A., & Schneider, T. (2011). Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). In M. Ogihara, & J. Tarui (Hrsg.), Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings (Band 6648, S. 552-562). (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-20877-553
Meier A, Schneider T. Generalized Satisfiability for the Description Logic ALC - (Extended Abstract). in Ogihara M, Tarui J, Hrsg., Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings. Band 6648. 2011. S. 552-562. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-20877-553
Download
@inproceedings{8e5ede62ec6d49d4910f41bff3ea052b,
title = "Generalized Satisfiability for the Description Logic ALC - (Extended Abstract)",
author = "Arne Meier and Thomas Schneider",
year = "2011",
doi = "10.1007/978-3-642-20877-553",
language = "English",
volume = "6648",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "552--562",
editor = "Mitsunori Ogihara and Jun Tarui",
booktitle = "Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings",
}
Download
TY - GEN
T1 - Generalized Satisfiability for the Description Logic ALC - (Extended Abstract)
AU - Meier, Arne
AU - Schneider, Thomas
PY - 2011
Y1 - 2011
U2 - 10.1007/978-3-642-20877-553
DO - 10.1007/978-3-642-20877-553
M3 - Conference contribution
VL - 6648
T3 - Lecture Notes in Computer Science
SP - 552
EP - 562
BT - Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings
A2 - Ogihara, Mitsunori
A2 - Tarui, Jun
ER -