中文版 | English

在结果中检索

CSpace

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

限定条件                
已选(0)清除 条数/页：   排序方式：
无权访问的条目 期刊论文
作者:  Jian Yu(喻 坚);  Yan-Bo Han(韩燕波);  Jun Han4(韩 军);  Yan Jin(金 岩);  Paolo Falcarin;  Maurizio Morisio
Adobe PDF(1867Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/02
Model-theoretical foundation of action and progression 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 4, 页码: 430-438
作者:  Tian, QJ;  Shi, ZZ
收藏  |  浏览/下载：40/0  |  提交时间：2019/12/10
situation calculus  many-sorted logic  model theory  action  progression