作　　者：COSIMO LANEVE

出　　处：Education Sciences & Society. 2014 ;5(2).

出 版 社：Education Sciences And Society

文 章 ID：101278437

作　　者：COSIMO LANEVE

出　　处：Education Sciences & Society. 2015 ;5(2).

出 版 社：Education Sciences And Society

文 章 ID：185448758

作　　者：Rosatilde Margiotta ;Cosimo Laneve

出　　处：Práxis Educacional. 2020 ;16(43):134-141.doi:10.22481/rpe.v16i43.6929

出 版 社：Universidade Estadual do Sudoeste da Bahia

文 章 ID：257836889

作　　者：Frank De Boer ;Mahdi Jaghoori ;Cosimo Laneve 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:5)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692160

作　　者：Cosimo Laneve ;Adele Veschetti

出　　处：OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-17.doi:10.4230/OASIcs.Gabbrielli.2

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：257805132

作　　者：Frank S. de Boer ;Elena Giachino ;Stijn de Gouw 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;302:1-15.doi:10.4204/EPTCS.302.1

出 版 社：Open Publishing Association

文 章 ID：1033557613