Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Multi-threaded ASP solving with clasp."
Link zu diesem Datensatz | https://d-nb.info/1218874716 |
Titel | Multi-threaded ASP solving with clasp / Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Person(en) |
Gebser, Martin (Verfasser) Kaufmann, Benjamin (Verfasser) Schaub, Torsten (Verfasser) |
Verlag | Potsdam : Universität Potsdam |
Zeitliche Einordnung | Erscheinungsdatum: 2019 |
Umfang/Format | Online-Ressource (pdf) |
Persistent Identifier | URN: urn:nbn:de:kobv:517-opus4-413977 |
URL | https://publishup.uni-potsdam.de/frontdoor/index/index/docId/41397 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Beziehungen | Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 586 |
Anmerkungen | In: Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166 |
DDC-Notation | 006.3 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |