claspfolio 2
advances in algorithm selection for answer set programming
Hoos, Holger ; Lindauer, Marius ; Schaub, Torsten 2019 Universität Potsdam
- Link zu diesem Datensatz
-
https://d-nb.info/1218874996
- Titel
-
claspfolio 2 : advances in algorithm selection for answer set programming
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Holger Hoos, Marius Lindauer, Torsten Schaub
- Autor(en)
-
- Hoos, Holger
- Lindauer, Marius
- Schaub, Torsten
- Verlag
- Potsdam : Universität Potsdam [2019]
- Jahr
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-416129
- Sprache
- eng
- Schlagwörter
-
- Frühere/spätere Titel
-
- Enthalten in: In: Theory and Practice of Logic Programming 14 (2014) 4–5, pp. 569–585 DOI 10.1017/S1471068414000210
- Enthalten in: In: Theory and Practice of Logic Programming 14 (2014) 4–5, pp. 569–585 DOI 10.1017/S1471068414000210
- Enthalten in: In: Theory and Practice of Logic Programming 14 (2014) 4–5, pp. 569–585 DOI 10.1017/S1471068414000210
- Stand
- 12.06.2025 14:11
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
