Rozdział w monografii
Brak miniatury
Licencja
Dostęp zamkniętySigned Dual Tableaux for Kleene Answer Set Programs
Autor
Doherty, Patrick
Data publikacji
2018
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