Auflistung nach Autor "Kaufmann, Benjamin"
Anzeige der Dokumente 1-1 von 1
-
The Potsdam Answer Set Solving Collection 5.0
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Lühne, Patrick; Obermeier, Philipp; Ostrowski, Max; Romero, Javier; Schaub, Torsten; Schellhorn, Sebastian; Wanko, Philipp
181-182