中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文 OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725 作者: Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2019/12/13 Hoare logic recursive function computable function nonstandard model of Peano arithmetic
	Types, structures and theories in NKI 期刊论文 OAI收割 Frontiers of Computer Science in China, 2008, 卷号: 2, 期号: 4, 页码: 451 作者: Xiaoru Zhang; Zaiyue Zhang; Yuefei Sui \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 type ontology concept individual natural object
	A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 368, 期号: 1-2, 页码: 149-160 作者: Zhang, Zaiyue; Sui, Yuefei; Cao, Cungen; Wu, Guohua \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2019/12/16 propositional modal logic duzzy reasoning formal system soundness and completeness
	Further study of the fuzzy reasoning based on propositional modal logic 期刊论文 OAI收割 ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 162-169 作者: Zhang, Zaiyue; Sui, Yuefei; Ca, Cungen \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2019/12/16 propositional modal logic fuzzy reasoning formal system educed set
	A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs 期刊论文 OAI收割 THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2006, 卷号: 3959, 页码: 588-600 作者: Zhang, Zaiyue; Sui, Yuefei; Cao, Cungen \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2019/12/16 logic programs double priority tree method
	The rough logic and roughness of logical theories 期刊论文 OAI收割 ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 610-617 作者: Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2019/12/16 rough set theory logical theories refinement logical implication