ArgoCLP公司 14篇文献引用（2011年-2023年） 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…