共 50 条
Special Issue on the Italian Conference on Computational Logic: CILC 2013 Preface
被引:0
|作者:
Cantone, Domenico
[1
]
Asmundo, Marianna Nicolosi
[1
]
Pettorossi, Alberto
[2
]
机构:
[1] Univ Catania, Dept Math & Comp Sci, I-95124 Catania, Italy
[2] Univ Roma Tor Vergata, Dept Civil Engn & Informat Engn, Rome, Italy
关键词:
D O I:
10.3233/FI-2015-1251
中图分类号:
TP31 [计算机软件];
学科分类号:
081202 ;
0835 ;
摘要:
引用
收藏
页码:I / II
页数:2
相关论文