Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Equivalence between answer-set programs under (partially) fixed input."
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1150199563 |
Titel | Equivalence between answer-set programs under (partially) fixed input / by Bernhard Bliem, Stefan Woltran |
Person(en) |
Bliem, Bernhard (Verfasser) Woltran, Stefan (Sonstige) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource : online resource. |
Persistent Identifier |
URN: urn:nbn:de:1111-2018010811610 DOI: 10.1007/s10472-017-9567-5 |
URL | http://dx.doi.org/10.1007/s10472-017-9567-5 (Open Access) |
Zeitliche Einordnung | Erscheinungsdatum: 2017 |
DDC-Notation | 006.31 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | In: Annals of mathematics and artificial intelligence (10.11.2017: 1-19) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
![E-Mail-Icon](/static/bilder/icon_email_klein.gif)