菲利普·加德纳：利用类型理论发现所需的约简。(1994) conf/tacs/加德纳94 10.1007/3-540-57887-0_115 使用类型理论发现所需的约简。 1 菲利普·加德纳 1 555-574 节气门执行器控制系统 节气门执行器控制系统 1994 1994 dblp记录“conf/tacs/Gardner94”的RDF数据的来源信息 2017-05-20T15:32:50+0200