Relational dual tableaux for interval temporal logics

Dane publikacji
Typ publikacji	Publikacja w czasopiśmie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Relational dual tableaux for interval temporal logics
Adres internetowy
Tytuł czasopisma	JOURNAL OF APPLIED NON-CLASSICAL LOGICS
Medium	publikacja drukowana
Tom	16
Zeszyt	3-4
Rok wydania	2006
Od strony	251
Do strony	277
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2006