Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
LATPub344
Author B. Suntisrivaraporn + , Franz Baader + , Carsten Lutz +
BibTex
@inproceedings{ BaaLutSun-DL-06,
  author = {F. {Baader} and C. {Lutz} and B. {Suntisrivaraporn}},
  booktitle = {Proceedings of the 2006 International Workshop on Description Logics ({DL2006})},
  series = {CEUR-WS},
  title = {Efficient Reasoning in $\mathcal{EL}^+$},
  year = {2006},
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 2006 International Workshop on Description Logics (DL2006)  +
Download BaaLutSun-DL-06.pdf  +
ErsterAutorNachname Baader  +
ErsterAutorVorname Franz  +
Forschungsgruppe Automatentheorie +
Publication text Franz Baader, Carsten Lutz, B. Suntisrivar
Franz Baader, Carsten Lutz, B. Suntisrivaraporn<br/> '''[[LATPub344|<b>Efficient Reasoning in EL^+</b>]]''' <br/>__NOTOC__<i>Proceedings of the 2006 International Workshop on Description Logics (DL2006)</i>, CEUR-WS, 2006<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub344|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BaaLutSun-DL-06.pdf|Download]]
gt; [[Media:BaaLutSun-DL-06.pdf|Download]]  +
Publication text en Franz Baader, Carsten Lutz, B. Suntisrivar
Franz Baader, Carsten Lutz, B. Suntisrivaraporn<br/> '''[[LATPub344/en|<b>Efficient Reasoning in EL^+</b>]]''' <br/>__NOTOC__<i>Proceedings of the 2006 International Workshop on Description Logics (DL2006)</i>, CEUR-WS, 2006<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub344|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:BaaLutSun-DL-06.pdf|Download]]
gt; [[Media:BaaLutSun-DL-06.pdf|Download]]  +
Referiert 1  +
Series CEUR-WS  +
Title Efficient Reasoning in EL^+  +
To appear 0  +
Type inproceedings  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
LATPub344 + , LATPub344 + , LATPub344 + , LATPub344 + , LATPub344 + , LATPub344 + , LATPub344 +
Kategorien Inproceedings , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
25 März 2015 14:34:05  +
verstecke Attribute die hierhin verlinken 
LATPub344/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.