David Stuart Robertson和Jaume Agustí-Cullell：逻辑程序综合中的语用学。(1998) conf/lopstr/RobertsonA98 10.1007/3-540-48958-4_3 逻辑程序综合中的语用学。 2 大卫·斯图亚特·罗伯逊0001 1 杰姆·阿古斯蒂-卡莱尔 2 41-60岁 洛普斯特 洛普斯特 1998 1990 dblp记录“conf/lopstr/RobertsonA98”的RDF数据的来源信息 2022-09-13T21:45:41+0200