On the Computability of Region−Based Euclidean Logics

Bibliografske podrobnosti
Main Authors: Nenov, Y, Pratt−Hartmann, I
Format: Conference item
Izdano: 2010