| 注册
首页|期刊导航|大连理工大学学报|Kailar逻辑推理中初始状态假设

Kailar逻辑推理中初始状态假设

王可心 韩芳溪

大连理工大学学报2003,Vol.43Issue(z1):193-196,4.
大连理工大学学报2003,Vol.43Issue(z1):193-196,4.

Kailar逻辑推理中初始状态假设

Initial state assumptions in Kailar logic reasoning

王可心 1韩芳溪1

作者信息

  • 1. 山东大学计算机科学与技术学院,山东,济南,250062
  • 折叠

摘要

关键词

Kailar逻辑/电子商务协议/协议分析/初始状态假设

分类

信息技术与安全科学

引用本文复制引用

王可心,韩芳溪..Kailar逻辑推理中初始状态假设[J].大连理工大学学报,2003,43(z1):193-196,4.

基金项目

山东省自然科学基金资助项目(003090309). (003090309)

大连理工大学学报

OA北大核心CSCDCSTPCD

1000-8608

访问量0
|
下载量0
段落导航相关论文