登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

博弈理论在互模拟和模态u－演算上的一些应用
出版社：中国科学院
出版年：2005
作者：董焕防
资源类型：图书
细分类型：中文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

一些团簇及表面体系的理论计算和模拟
  • 作者：商波
  • 出版年：2010
...

海洋环流模式研制和模拟的一些关键问题研究
  • 作者：靳江波
  • 出版年：2016
...

π-演算互模拟验证系统的设计与实现
  • 作者：许文
  • 出版社：中国科学院
  • 出版年：2000
...

谓词μ演算和模态图的语义一致性
  • 作者：刘剑
  • 出版社：中国科学院
  • 出版年：2002
...

有限元热-力学模拟在地球科学中的一些应用
  • 作者：杨少华
  • 出版年：2015
...

模态逻辑公式为见证的互模拟等价判定
  • 作者：李明
  • 出版社：中国科学院
  • 出版年：2009