Modern constraint answer set solving

Dissertation, Universität Potsdam, 2017

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ostrowski, Max (VerfasserIn)
Körperschaft:	Universität Potsdam (Grad-verleihende Institution)
Weitere Verfasser:	Schaub, Torsten (AkademischeR BetreuerIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Potsdam 2018
Schlagworte:	Hochschulschrift > Entwurfssprache > Arithmetik > Algorithmus
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!