On the Computability of Region−Based Euclidean Logics

Opis bibliograficzny
Główni autorzy: Nenov, Y, Pratt−Hartmann, I
Format: Conference item
Wydane: 2010