Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Publikation: Teil einer Monographie/eines Konferenzbandes

Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics

Grunddaten

Titel Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics
Veröffentlicht in Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 ; proceedings. - Cham [u.a.] : Springer
Erscheinungsjahr 2015
Seiten (von – bis) 55 – 68
Jahr 2015
Publikationsform Druckschrift
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
Letzte Änderung 28.03.2017 15:44:33
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/50202
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Andres, Benjamin
Biewer, Alexander
Romero, Javier
Haubelt, Christian Link zur UB Rostock Link zum GBV-Katalog
Schaub, Torsten

Einrichtung

IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)