一阶模态逻辑的语义问题

CORC > 计算技术研究所 > 中国科学院计算技术研究所 > 信息技术快报 > 2007

	一阶模态逻辑的语义问题
	眭跃飞; 江峰; 曹存根
刊名	信息技术快报
	2007-09-16
卷号	5 期号:5 页码:34
学科主题	人工智能
语种	中文
公开日期	2010-01-13
内容类型	期刊论文
源URL	[http://ictir.ict.ac.cn/handle/311040/91]
专题	信息技术快报_2007
推荐引用方式 GB/T 7714	眭跃飞,江峰,曹存根. 一阶模态逻辑的语义问题[J]. 信息技术快报,2007,5(5):34.
APA	眭跃飞,江峰,&曹存根.(2007).一阶模态逻辑的语义问题.信息技术快报,5(5),34.
MLA	眭跃飞,et al."一阶模态逻辑的语义问题".信息技术快报 5.5(2007):34.