大连理工大学学报2003，Vol.43Issue(z1)：193-196,4.
Kailar逻辑推理中初始状态假设
Initial state assumptions in Kailar logic reasoning
摘要
关键词
Kailar逻辑/电子商务协议/协议分析/初始状态假设分类
信息技术与安全科学引用本文复制引用
王可心,韩芳溪..Kailar逻辑推理中初始状态假设[J].大连理工大学学报,2003,43(z1):193-196,4.基金项目
山东省自然科学基金资助项目(003090309). （003090309）
