CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Covariant color-kinematics duality, Hopf algebras, and permutohedra 期刊论文
PHYSICAL REVIEW D, 2023, 卷号: 107, 期号: 2, 页码: 26022
作者:  Cao, Qu;  Dong, Jin;  He, Song;  Zhang, Yao-Qi
收藏  |  浏览/下载：0/0  |  提交时间：2023/12/07
Evaluating epistemic negation in answer set programming 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 237, 页码: 115-135
Shen, YD; Eiter, T
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09
Enumerating stereo-isomers of tree-like polyinositols 期刊论文
http://dx.doi.org/10.1007/s10910-014-0338-9, 2014
Deng, Kecai; Qian, Jianguo; 钱建国
收藏  |  浏览/下载：5/0  |  提交时间：2015/07/22
specification in pdl with recursion 会议论文
4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United states, April 3, 2012 - April 5, 2012
Liu Xinxin; Xue Bingtian
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
Recursion formulas for Appell functions 期刊论文
INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, 2012, 卷号: 23, 页码: 421-433
作者:  Wang, Xiaoxia[1]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30
Number of spin I states for bosons 期刊论文
CHINESE PHYSICS C, 2009, 卷号: 33, 页码: 137-139
作者:  Zhang Li-Hua;  Zhao Yu-Min
收藏  |  浏览/下载：4/0  |  提交时间：2018/05/31
boson  isospin  state  number  
Optimization of bounded model checking 期刊论文
ruan jian xue baojournal of software, 2009
Yang, Jin-Ji; Su, Kai-Le; Luo, Xiang-Yu; Lin, Han; Xiao, Yin-Yin
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16
Robot inverse acceleration solution based on hybrid genetic algorithm 会议论文
作者:  Zhang, Yong-Gui;  Huang, Yu-Mei;  Xie, Li-Ming
收藏  |  浏览/下载：1/0  |  提交时间：2019/11/15
predicate mu-calculus for mobile ambients 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 1, 页码: 95-104
Lin HM
收藏  |  浏览/下载：5/0  |  提交时间：2011/07/28
Predicate μ-calculus for mobile ambients 期刊论文
Springer New York LLC, 2005, 卷号: 20, 期号: 1, 页码: 95-104
Lin Huimin
收藏  |  浏览/下载：6/0  |  提交时间：2010/08/24

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