On the Computability of Region−Based Euclidean Logics

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Nenov, Y, Pratt−Hartmann, I
التنسيق: Conference item
منشور في: 2010