Rozdział w monografii
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Signed Dual Tableaux for Kleene Answer Set Programs

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.contributor.authorDoherty, Patrick
dc.contributor.authorSzałas, Andrzej
dc.date.accessioned2024-01-29T02:54:52Z
dc.date.available2024-01-29T02:54:52Z
dc.date.issued2018
dc.description.financeNie dotyczy
dc.identifier.doi10.1007/978-3-319-97879-6_9
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/159777
dc.identifier.weblinkhttps://link.springer.com/chapter/10.1007%2F978-3-319-97879-6_9
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.publisher.ministerialSpringer
dc.relation.bookEwa Orłowska on Relational Methods in Logic and Computer Science
dc.relation.pages233-252
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleSigned Dual Tableaux for Kleene Answer Set Programs
dc.typeMonographChapter
dspace.entity.typePublication