排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
Reasoning About Space: The Modal Way 总被引:6,自引:0,他引:6
Aiello Marco; van Benthem Johan; Bezhanishvili Guram 《Journal of Logic and Computation》2003,13(6):889-920
1