Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Misc3054
Author Steffen Hölldobler +
BibTex
@misc{H2012,
  author = {Steffen H{\"{o}}lldobler},
  title  = {Satisfiability Testing and its Applications},
  year   = {2012},
  month  = {October}
}
Bibtype Misc  +
ErsterAutorNachname Hölldobler  +
ErsterAutorVorname Steffen  +
Forschungsgruppe Wissensverarbeitung +
HowPublished North Caucasus Federal University, Stavropol  +
Month Oktober  +
Publication text Steffen Hölldobler<br /> '''[[Misc30
Steffen Hölldobler<br /> '''[[Misc3054|Satisfiability Testing and its Applications]]''' <br />__NOTOC__North Caucasus Federal University, Stavropol, October 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Misc3054|Details]]
%;" ></span> [[Misc3054|Details]]  +
Publication text en Steffen Hölldobler<br /> '''[[Misc30
Steffen Hölldobler<br /> '''[[Misc3054/en|Satisfiability Testing and its Applications]]''' <br />__NOTOC__North Caucasus Federal University, Stavropol, October 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Misc3054|Details]]
%;" ></span> [[Misc3054|Details]]  +
Title Satisfiability Testing and its Applications  +
Type misc  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Misc3054 + , Misc3054 + , Misc3054 + , Misc3054 + , Misc3054 +
Kategorien Misc , Publications without download , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
19 Dezember 2016 20:11:45  +
verstecke Attribute die hierhin verlinken 
Misc3054/en + Weiterleitungsseite
 

 

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