位置：成果数据库 > 期刊 > 期刊详情页
谓词转换器的相容性
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：2001，28（9），182-185
  • 语言：中文
  • 相关项目：形式语义学中的序结构和逻辑结构
作者： 陈仪香，孙莉萍|
同期刊论文项目
形式语义学中的序结构和逻辑结构
期刊论文 8 著作 1
同项目期刊论文
Fuzzy Membership and Topological System
一类基于有界算子合成的模糊系统方程
拓扑学在Domain理论中的应用
区间值模糊命题逻辑系统的广义恒真式
一类论域函数的全性与极大性
Domains via Graphs
参数Kleene系统中的广义重言式