未找到相关数据
Special Issue of Selected Extended Papers of IJCAR 2020
被引：0
作者：
Nicolas Peltier
Viorica Sofronie-Stokkermans
机构：
[1] Université Grenoble Alpes,CNRS, LIG
[2] University Koblenz-Landau,undefined
来源：
Journal of Automated Reasoning
|
2022年
/
66卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：275 / 276
页数：1
相关论文