CORC

在结果中检索

CORC

浏览/检索结果: 共30条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Modeling Context-aware Legal Computing with Bigraphs 其他
2017-01-01
Yu, Lian; Hu, Chenjian; Li, Baijie; Tsai, Wei Tek; Hu, Jianbin; Deng, Enyan
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Integrating Goal Model into Rule-based Adaptation 其他
2016-01-01
Zhao, Tianqi; Zan, Tao; Zhao, Haiyan; Hu, Zhenjiang; Jin, Zhi
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
咖啡的现代性与媒介镜像 其他
2014-02-01
廖宏勇; LIAO Hong-yong
收藏  |  浏览/下载：2/0  |  提交时间：2016/01/06
Fitch-悖论的直觉主义逻辑解决方案探析 其他
2014-02-01
王晶; WANG Jing; 潘世墨; PAN Shi-mo
收藏  |  浏览/下载：7/0  |  提交时间：2016/01/05
Random logic programs: Linear model 其他
2014-01-01
Wang, Kewen; Wen, Lian; Mu, Kedian
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Inconsistency-tolerant reasoning with OWL DL 其他
2014-01-01
Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/11
A knowware based infrastructure for rule based control systems in smart spaces 其他
2013-01-01
Lu, Yangyang; Li, Ge; Jin, Zhi; Xing, Xueyuan; Hao, Yiyang
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17
Constrained epistemic extension on agent knowledge acquisition 其他
2013-01-01
Hong, Zhiling; Wu, Meihong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/17
Constrained epistemic extension on agent knowledge acquisition 其他
2013-01-01
Hong, Zhiling; Wu, Meihong; 吴梅红
收藏  |  浏览/下载：4/0  |  提交时间：2015/07/22
A separation logic for OO programs 其他
2012-01-01
Yijing, Liu; Zongyan, Qiu
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13

©版权所有 ©2017 CSpace - Powered by CSpace