Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Inproceedings4037
Author Nadeschda Nikitina + , Sebastian Rudolph +
BibTex
@inproceedings{NR2012,
  author    = {Nadeschda Nikitina and Sebastian Rudolph},
  title     = {ExpExpExplosion: Uniform Interpolation in General {EL}
               Terminologies},
  booktitle = {ECAI},
  year      = {2012},
  pages     = {618-623}
}
Bibtype Inproceedings  +
Booktitle ECAI  +
ErsterAutorNachname Nikitina  +
ErsterAutorVorname Nadeschda  +
Forschungsgruppe Computational Logic +
Pages 618-623  +
Publication text Nadeschda Nikitina, Sebastian Rudolph<b
Nadeschda Nikitina, Sebastian Rudolph<br/> '''[[Inproceedings4037|<b>ExpExpExplosion: Uniform Interpolation in General EL Terminologies</b>]]''' <br/>__NOTOC__<i>ECAI</i>, 618-623, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4037|Details]]
lt;/span> [[Inproceedings4037|Details]]  +
Publication text en Nadeschda Nikitina, Sebastian Rudolph<b
Nadeschda Nikitina, Sebastian Rudolph<br/> '''[[Inproceedings4037/en|<b>ExpExpExplosion: Uniform Interpolation in General EL Terminologies</b>]]''' <br/>__NOTOC__<i>ECAI</i>, 618-623, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4037|Details]]
lt;/span> [[Inproceedings4037|Details]]  +
Referiert 1  +
Title ExpExpExplosion: Uniform Interpolation in General EL Terminologies  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Inproceedings4037 + , Inproceedings4037 + , Inproceedings4037 + , Inproceedings4037 + , Inproceedings4037 + , Inproceedings4037 +
Kategorien Publikation , Inproceedings , Publications without download
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Oktober 2014 15:51:50  +
verstecke Attribute die hierhin verlinken 
Inproceedings4037/en + Weiterleitungsseite
 

 

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