首页> 外文OA文献 >Spatial Logics for Bigraphs

【2h】

Spatial Logics for Bigraphs

机译：人物的空间逻辑

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Giovanni Conforti; Damiano Macedonio; Vladimiro Sassone;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Trinary arithmetic and logic unit (TALU) using savart plate and spatial light modulator (SLM) suitable for optical computation in multivalued logic [J] . Ghosh A.K., Bhattacharya A., Raul M., Optics & Laser Technology . 2012,第5期

机译：使用savart板和空间光调制器（SLM）的三元算术和逻辑单元（TALU）适用于多值逻辑中的光学计算
2. A new modal logic for reasoning about space: spatial propositional neighborhood logic [J] . Antonio Morales, Isabel Navarrete, Guido Sriavicco Annals of Mathematics and Artificial Intelligence . 2007,第1期

机译：一种用于空间推理的新模态逻辑：空间命题邻域逻辑
3. Elimination of spatial connectives in static spatial logics [J] . Etienne Lozes Theoretical computer science . 2005,第3期

机译：消除静态空间逻辑中的空间连接词
4. Spatial Logics for Bigraphs [C] . Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone International Colloquium on Automata, Languages and Programming(ICALP 2005); 20050711-15; Lisbon(PT) . 2005

机译：人物的空间逻辑
5. The spatial logic of pedestrian movement and exploration in the central area of Jeddah: The effect of spatial configuration on shopping behavior. [D] . Amir, Abdulgader Uthman. 1998

机译：吉达市中心地区行人移动和探索的空间逻辑：空间配置对购物行为的影响。
6. Spatially varying cis-regulatory divergence in Drosophila embryos elucidates cis-regulatory logic [O] . Peter A. Combs, Hunter B. Fraser 2018

机译：果蝇胚胎中空间变化的顺式调节差异阐明了顺式调节逻辑
7. BiLog: Spatial Logics for Bigraphs [O] . Conforti G., Macedonio D., Sassone V. 2006

机译：BiLog：Bigraphs的空间逻辑

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号