作 者:Giuseppe Della Penna ;Benedetto Intrigila ;Daniele Magazzeni 等
出 处:International Journal of Artificial Intelligence & Applications (IJAIA). 2010 ;1(3).
出 版 社:Academy & Industry Research Collaboration Center (AIRCC)
文 章 ID:101192910
作 者:Benedetto Intrigila ;Richard Statman
出 处:Logical Methods in Computer Science. 2006 ;2(04).doi:10.2168/LMCS-2(4:5)2006
出 版 社:Technical University of Braunschweig
文 章 ID:46838645
作 者:Benedetto Intrigila ;Giulio Manzonetto ;Andrew Polonsky
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:20:1-20:18.doi:10.4230/LIPIcs.FSCD.2017.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735129