CORC

在结果中检索

CORC

浏览/检索结果: 共246条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Geometry Problem Solving Based on Counter-factual Evolutionary Reasoning 会议论文
New Zealand, 2023
作者:  Song B(宋冰);  Xiong G(熊刚);  Shen Z(沈震);  Zhu F(朱凤华);  Lv Y（吕宜生）
收藏  |  浏览/下载：6/0  |  提交时间：2023/06/26
A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载：16/0  |  提交时间：2019/04/02
Refinement-Based Specification and Security Analysis of Separation Kernels 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 页码: 127-141
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载：11/0  |  提交时间：2020/01/10
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity 期刊论文
Journal of Systems Science and Complexity, 2019, 卷号: 32, 期号: 1, 页码: 78-94
作者:  Zhang, Jingzhong;  Peng, Xicheng;  Chen, Mao
收藏  |  浏览/下载：16/0  |  提交时间：2020/02/18
PARAMETERIZED INEQUALITIES ABOUT A POINT IN THE PLANE OF A TRIANGLE 期刊论文
JOURNAL OF MATHEMATICAL INEQUALITIES, 2018, 卷号: 12, 期号: 4, 页码: 953-960
作者:  Huang, Fangjian;  Li, Yi
收藏  |  浏览/下载：16/0  |  提交时间：2019/01/15
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 16395-16407
作者:  Sun, Jianwen;  Long, Xiang;  Zhao, Yongwang
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30
Tree-Structure CNN for automated theorem proving 会议论文
24th International Conference on Neural Information Processing, ICONIP 2017, Guangzhou, China, 2017-11-14
作者:  Peng, Kebin;  Ma, Dianfu
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
同步数据流语言可信编译器的构造 期刊论文
2016, 2016
石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
收藏  |  浏览/下载：3/0

©版权所有 ©2017 CSpace - Powered by CSpace