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

谓词μ演算和模态图的语义一致性
出版社：中国科学院
出版年：2002
作者：刘剑
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

语义一致性保持的跨模态视觉生成方法研究
  • 作者：刘振寰
  • 出版社：中国科学院计算技术研究所
  • 出版年：2023
...

痛觉与其它感觉模态刺激强度评分与脑激活一致性研究
  • 作者：侯欣
  • 出版社：中国科学院心理研究所
  • 出版年：2022
...

CSP的时态语义操作语义及其一致性
  • 作者：倪海初
  • 出版社：中国科学院
  • 出版年：1985
...

细粒度分布式一致性语义的自动分析和推理
  • 作者：马凯
  • 出版社：中国科学技术大学
  • 出版年：2023
...

CSP的时态语义，操作语义及其一致性
  • 作者：倪海初
  • 出版年：1985
...

软件演化的图重写模型及其一致性维护
  • 作者：袁春
  • 出版年：2001