欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
著作
> 著作详情页
Belief Reasoning with Probability
所属机构名称:南京航空航天大学
成果类型:著作
出版社:Semantics InTech Press2012
相关项目:高阶进程演算的互模拟研究
同著作项目
高阶进程演算的互模拟研究
期刊论文 12
会议论文 16
著作 2
同项目著作
A Truly Concurrent Process Calculus and Conflict Bisimulations