Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)

被引:0
|
作者
Dovier, Agostino [1 ]
Formisano, Andrea [1 ]
机构
[1] Department of Mathematics, Computer Science, Physics University of Udine, Italy
来源
CEUR Workshop Proceedings | 2023年 / 3428卷
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条