亚历杭德罗·格罗索（Alejandro L.Grosso）和何塞·玛丽亚·图鲁尔·托雷斯（Jose Maria Turull Torres）：一种二阶逻辑，其中变量的范围超过与完全一阶类型的关系。(2010) conf/scc/GrossoT10 10.1109/SCC.2010.9号文件 一种二阶逻辑，其中变量的范围超过与完整一阶类型的关系。 2 亚历杭德罗·格罗索 1 何塞·玛丽亚·图鲁尔·托雷斯 2 270-279 SCCC公司 SCCC公司 2010 2010 dblp记录“conf/scc/GrossoT10”的RDF数据的来源信息 2023-03-23T23:59:53+0100