马里奥·D·卡内罗。 12出版物(2015–2022)编入索引的 合著者： Baek，Seulkee；Heule，Marijn J.H。；杰里米·阿维加德… 主要字段： 历史与传记（01-XX） 发布方式： 马里奥·D·卡内罗。
马里奥·卡内罗。 12出版物(2015–2022)编入索引的 合著者： Baek，Seulkee；Heule，Marijn J.H。；杰里米·阿维加德… 主要字段： 计算机科学（68-XX） 发布方式： 马里奥·卡内罗。