Relational proof systems for spatial reasoning

Dane publikacji
Typ publikacji	Publikacja w czasopiśmie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Relational proof systems for spatial reasoning
Adres internetowy
Tytuł czasopisma	JOURNAL OF APPLIED NON-CLASSICAL LOGICS
Medium	publikacja drukowana
Tom	16
Zeszyt	3-4
Rok wydania	2006
Od strony	409
Do strony	431
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2006