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
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikation: Teil einer Monographie/eines Konferenzbandes
Symbolic system synthesis using answer set programming
Grunddaten
Autoren
Einrichtung
Grunddaten
Titel
Symbolic system synthesis using answer set programming
Veröffentlicht in
Logic programming and nonmonotonic reasoning : 12th international conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 ; proceedings. - Berlin [u.a.] : Springer
Erscheinungsjahr
2013
Seiten (von – bis)
79 – 91
Jahr
2013
Publikationsform
Druckschrift
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
16.05.2019 21:02:48
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/42877
Links zu Katalogen
Autoren
Andres, Benjamin
Gebser, Martin
Schaub, Torsten
Haubelt, Christian
Reimann, Felix
Glaß, Michael
Einrichtung
IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)