KLMLean公司 6篇文献引用(2007–2023) 软件作者： 劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨 相关软件： 康德莱恩；NESCOND；CSLLean… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）