Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
WVPub3
Author Norbert Manthey + , Robert Stelzmann +
BibTex
@inproceedings{MS2012,
  author    = {Norbert Manthey and Robert Stelzmann},
  title     = {The {SAT} Solver Framework priss (System Description)},
  booktitle = {Pragmatics of {SAT} 2012(POS'12)},
  year      = {2012}
}
Bibtype Inproceedings  +
Booktitle Pragmatics of SAT 2012(POS'12)  +
ErsterAutorNachname Manthey  +
ErsterAutorVorname Norbert  +
Forschungsgruppe Wissensverarbeitung +
Publication text Norbert Manthey, Robert Stelzmann<br/&g
Norbert Manthey, Robert Stelzmann<br/> '''[[WVPub3|<b>The SAT Solver Framework priss (System Description)</b>]]''' <br/>__NOTOC__<i>Pragmatics of SAT 2012(POS'12)</i>,  2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub3|Details]]
85%;" ></span> [[WVPub3|Details]]  +
Publication text en Norbert Manthey, Robert Stelzmann<br/&g
Norbert Manthey, Robert Stelzmann<br/> '''[[WVPub3/en|<b>The SAT Solver Framework priss (System Description)</b>]]''' <br/>__NOTOC__<i>Pragmatics of SAT 2012(POS'12)</i>,  2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub3|Details]]
85%;" ></span> [[WVPub3|Details]]  +
Referiert 1  +
Title The SAT Solver Framework priss (System Description)  +
To appear 0  +
Type inproceedings  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
WVPub3 + , WVPub3 + , WVPub3 + , WVPub3 + , WVPub3 + , WVPub3 +
Hat unpassenden Wert für
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Month  +
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 
WVPub3/en + Weiterleitungsseite
 

 

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