QQ客服 官方微博 反馈留言

	A prepositional calculus formal deductive system LU of universal logic and its completeness (EI收录)
	Luo, Minxia[1,2]; He, Huacan[1]
会议名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议日期	August 27, 2005 - August 29, 2005
会议地点	Changsa, China
关键词	Algebra Differentiation (calculus) Mathematical operators Numerical methods Theorem proving
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2115806
专题	华南理工大学
作者单位	1.[1] School of Computer Science, Northwestern Polytechnical University, Xi'an, 710072, China 2.[2] Department of Mathematics, Yuncheng University, Yuncheng, 044000, China
推荐引用方式 GB/T 7714	Luo, Minxia[1,2],He, Huacan[1]. A prepositional calculus formal deductive system LU of universal logic and its completeness (EI收录)[C]. 见:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Changsa, China. August 27, 2005 - August 29, 2005.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。