Computability of Euclidean spatial logics
Computability of Euclidean spatial logics
复制标题
欧几里得空间逻辑的可计算性
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Nenov Yavor Neychev
中科院分区：
文献类型：
--
作者：
Nenov Yavor Neychev
登录
查看更多内容
DOI：
--
发表时间：
2008-07
期刊：
--
影响因子：
--
作者：
R. Kontchakov;Ian Pratt-Hartmann;F. Wolter;M. Zakharyaschev
通讯作者：
R. Kontchakov;Ian Pratt-Hartmann;F. Wolter;M. Zakharyaschev
联系代数和基于区域的空间理论：邻近方法 - I
影响因子：
0.8
作者：
G. Dimov;D. Vakarelov
通讯作者：
D. Vakarelov
DOI：
10.3233/978-1-60750-606-5-701
发表时间：
2010-08
期刊：
--
影响因子：
--
作者：
A. Trybus
通讯作者：
A. Trybus
DOI：
10.1145/509907.509910
发表时间：
2002-05
期刊：
--
影响因子：
--
作者：
M. Schaefer;E. Sedgwick;Daniel Stefankovic
通讯作者：
M. Schaefer;E. Sedgwick;Daniel Stefankovic
DOI：
--
发表时间：
1999
期刊：
Deutsche Jahrestagung für Künstliche Intelligenz
影响因子：
--
作者：
W. Nutt
通讯作者：
W. Nutt