Multi-threaded ASP solving with clasp
Gebser, Martin ; Kaufmann, Benjamin ; Schaub, Torsten 2019 Universität Potsdam
- Link zu diesem Datensatz
- https://d-nb.info/1218874716
- Titel
- Multi-threaded ASP solving with clasp
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Martin Gebser, Benjamin Kaufmann, Torsten Schaub
- Autor(en)
-
- Gebser, Martin
- Kaufmann, Benjamin
- 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-413977
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: In: Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166
- Enthalten in: In: Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166
- Enthalten in: In: Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166
- Stand
- 22.01.2025 17:17
- Im Katalog seit
- 07.03.2026