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
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen suchen
Aktiv:
Publikation
Autoren
Einrichtungen
Abstract
Externe Dokumente
Links
Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics ( Teil einer Monographie/eines Konferenzbandes )
Details ansehen
Hinweis
Diese Publikation wurde von der Universitätsbibliothek verifiziert. Sie kann nur noch teilweise bearbeitet werden.
Bearbeiten
*
Titel
Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics
Untertitel
Sprache
*
Erscheinungsjahr
*
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
von Seite
bis Seite
Seitenzahl
*
Verlag
Verlagsort
Band
Institution
Heft-Nr.
Monat
Serie
Auflage
*
Publikationsform
Publikationsart
ISBN
DOI
Änderungsdatum
*
Peer reviewed