菲利普·加德纳：代表逻辑的新型理论。(1993) conf/lpar/加德纳93 10.1007/3-540-56944-8_49 一种新型的逻辑表示理论。 1 菲利普·加德纳 1 146-157 LPAR公司 LPAR公司 1993 1993 dblp记录“conf/lpar/Gardner93”的RDF数据的出处信息 2017-11-01T09:35:22+0100