Graspg – An extension to Grasp2018 based on Configuration State Function Generators

扩展(谓词逻辑) 国家(计算机科学) 功能(生物学) 数学 计算机科学 域代数上的 纯数学 算法 程序设计语言 生物 进化生物学
作者
R. Si,Yanting Li,Kai Wang,Chongyang Chen,Gediminas Gaigalas,Michel Godefroid,Per Jönsson
出处
期刊:Computer Physics Communications [Elsevier BV]
卷期号:: 109604-109604
标识
DOI:10.1016/j.cpc.2025.109604

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
淡淡又蓝发布了新的文献求助10
刚刚
刚刚
1秒前
cy0824发布了新的文献求助10
1秒前
Bobo发布了新的文献求助10
1秒前
顺心的姒完成签到 ,获得积分10
2秒前
糊涂的海蓝完成签到 ,获得积分10
2秒前
2秒前
2秒前
3秒前
芊芊发布了新的文献求助10
3秒前
噜噜宝贝发布了新的文献求助10
4秒前
乐乐应助靳士金采纳,获得10
4秒前
杜杜9580发布了新的文献求助10
4秒前
李卓发布了新的文献求助10
4秒前
元狩完成签到 ,获得积分10
5秒前
卷卷完成签到 ,获得积分10
5秒前
小77发布了新的文献求助10
5秒前
不想懂得完成签到,获得积分10
6秒前
冯冯完成签到 ,获得积分10
6秒前
zzsossos发布了新的文献求助10
6秒前
LYSM发布了新的文献求助10
7秒前
7秒前
7秒前
Orange应助琰sky采纳,获得10
7秒前
7秒前
8秒前
9秒前
9秒前
一颗西柚完成签到,获得积分10
9秒前
9秒前
脑洞疼应助糖糖采纳,获得10
9秒前
舒桐啊完成签到,获得积分20
9秒前
9秒前
10秒前
Orange应助醉了吗采纳,获得30
11秒前
慕青应助虚幻采枫采纳,获得10
11秒前
JamesPei应助文斯采纳,获得10
11秒前
wch完成签到 ,获得积分20
12秒前
COCO发布了新的文献求助10
12秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Inorganic Chemistry Eighth Edition 1200
Free parameter models in liquid scintillation counting 1000
Anionic polymerization of acenaphthylene: identification of impurity species formed as by-products 1000
Standards for Molecular Testing for Red Cell, Platelet, and Neutrophil Antigens, 7th edition 1000
HANDBOOK OF CHEMISTRY AND PHYSICS 106th edition 1000
ASPEN Adult Nutrition Support Core Curriculum, Fourth Edition 1000
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6310995
求助须知:如何正确求助?哪些是违规求助? 8127316
关于积分的说明 17029804
捐赠科研通 5368521
什么是DOI,文献DOI怎么找? 2850463
邀请新用户注册赠送积分活动 1828062
关于科研通互助平台的介绍 1680654