位置：成果数据库 > 会议 > 会议详情页
区间值进程代数
  • 所属机构名称：上海师范大学
  • 会议名称：2004 年全国理论计算机科学年会,武汉长沙,海军工程大学
  • 语言：中文
  • 成果类型：会议
  • 相关项目：不确定程序语义模型的研究
作者： 陈仪香|周洁|
同会议论文项目
不确定程序语义模型的研究
期刊论文 1 会议论文 13 著作 1
同项目会议论文
Fuzzy Predicate Transformer
The Logical Representation of Domains
含可信度的证据推理
Fuzzy Interval-valued Processes Algebra
形式语义的论域理论研究进展
程序的不确定性
模糊－可能推理的逐级聚合推理方法
Implication-Based Fuzzy Predicate Transformers
基于Lisp 的概念学习实现方法
一种具有突变性的证据推理模型,
Interval – valued Processes
程序规范与程序验证