Signed Dual Tableaux for Kleene Answer Set Programs
Signed Dual Tableaux for Kleene Answer Set Programs
Autor
Doherty Patrick
Punktacja ministerialna
80
Data publikacji
Dyscyplina PBN
informatyka
Tytuł monografii
Ewa Orłowska on Relational Methods in Logic and Computer Science
Strony od-do
233-252
Wydawca ministerialny
Springer
Licencja otwartego dostępu
Dostęp zamknięty