Artykuł w czasopiśmie
Ładowanie...
Licencja
Dostęp zamkniętyRelational dual tableaux for interval temporal logics
Relational dual tableaux for interval temporal logics
Autor
ORCID
Data publikacji
Dyscyplina PBN
filozofia
Czasopismo
Journal of Applied Non-Classical Logics
Tom
16
Zeszyt
3-4
Strony od-do
251-277
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty