CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Complete set of dimension-nine operators in the standard model effective field theory 期刊论文
PHYSICAL REVIEW D, 2021, 卷号: 104, 期号: 1, 页码: 15025
作者:  Li, Hao-Lin;  Ren, Zhe;  Xiao, Ming-Lei;  Yu, Jiang-Hao;  Zheng, Yu-Hui
收藏  |  浏览/下载：17/0  |  提交时间：2021/09/27
线性时序逻辑转换Büchi自动机的按需即时算法 期刊论文
2016, 2016
单来祥; 覃征; 卢欣晔; 卢正才; SHAN Laixiang; QIN Zheng; LU Xinye; LU Zhengcai
收藏  |  浏览/下载：2/0
线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
Quasi-Classical Description Logic 其他
2012-01-01
Zhang, Xiaowang; Lin, Zuoquan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
INDUCING W-GRAPHS FOR SYMMETRIC GROUPS 期刊论文
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2011, 卷号: 21, 期号: 6, 页码: 961-972
作者:  Yin, Yunchuan
收藏  |  浏览/下载：6/0  |  提交时间：2019/08/22
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System 其他
2011-01-01
Zhang, Xiaowang; Lin, Zuoquan; Wang, Kewen
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
decidable temporal dynamic description logic 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537
Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng
收藏  |  浏览/下载：19/0  |  提交时间：2013/10/08
Research on tableau algorithm for horn-extended DL 期刊论文
2010, 2010
Xiao Lan; Zheng Li; Xiao Jian; Huang Yi
收藏  |  浏览/下载：3/0
Horn-Extended DL的Tableau算法研究 期刊论文
2010, 2010
肖岚; 郑力; 肖建; 黄毅; XIAO Lan; ZHENG Li; XIAO Jian; HUANG Yi
收藏  |  浏览/下载：4/0
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：21/0  |  提交时间：2010/06/08

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