Publikation: Teil einer Monographie/eines Konferenzbandes

Symbolic system synthesis using answer set programming

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