Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
WVPub22
Author Ozan Kahramanoğulları +
BibTex
@inproceedings{K2006,
  author    = {Ozan Kahramano{\u{g}}ullar{\i}},
  title     = {System {BV} is {NP-complete}},
  editor    = {R. de Queiroz and A. Macintyre and G. Bittencourt},
  booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information
               and Computation (WoLLIC 2005), July 2005},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {143},
  publisher = {Elsevier},
  year      = {2006},
  pages     = {87-99}
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005  +
Editor R. de Queiroz and A. Macintyre and G. Bittencourt  +
ErsterAutorNachname Kahramanoğulları  +
ErsterAutorVorname Ozan  +
Forschungsgruppe Wissensverarbeitung +
Pages 87-99  +
Publication text Ozan Kahramanoğulları<br/> '''[[WVPu
Ozan Kahramanoğulları<br/> '''[[WVPub22|<b>System BV is NP-complete</b>]]''' <br/>__NOTOC__In R. de Queiroz and A. Macintyre and G. Bittencourt, eds., <i>Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005</i>, volume 143 of Electronic Notes in Theoretical Computer Science, 87-99, 2006. Elsevier<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub22|Details]]
5%;" ></span> [[WVPub22|Details]]  +
Publication text en Ozan Kahramanoğulları<br/> '''[[WVPu
Ozan Kahramanoğulları<br/> '''[[WVPub22/en|<b>System BV is NP-complete</b>]]''' <br/>__NOTOC__In R. de Queiroz and A. Macintyre and G. Bittencourt, eds., <i>Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005</i>, volume 143 of Electronic Notes in Theoretical Computer Science, 87-99, 2006. Elsevier<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub22|Details]]
5%;" ></span> [[WVPub22|Details]]  +
Publisher Elsevier  +
Referiert 1  +
Series Electronic Notes in Theoretical Computer Science  +
Title System BV is NP-complete  +
To appear 0  +
Type inproceedings  +
Volume 143  +
Year 2006  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
WVPub22 + , WVPub22 + , WVPub22 + , WVPub22 + , WVPub22 +
Kategorien Inproceedings , Publications without download , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
13 April 2015 13:07:34  +
verstecke Attribute die hierhin verlinken 
WVPub22/en + Weiterleitungsseite
 

 

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