贾斯汀·沃德（Justin Ward）等人：普鲁弗洛克（Prufrock）：构建多型定理证明器的框架。(2005) conf/kbse/WardKA05 10.1145/1101908.1101985 普鲁弗洛克：构建多型定理证明程序的框架。 三 贾斯汀·沃德 1 加林·金梅尔 2 佩里·亚历山大 三 423-426 酶 酶 2005 2005 dblp记录“conf/kbse/WardKA05”的RDF数据的来源信息 2018-11-06 T16:58:23+0100