. . . . . “David Stuart Robertson和Jaume Agust\u00ED-Culllel:逻辑程序合成中的语用学。（1998）”。 . . _：ID_c014deb95a21b8911151f359c67af292。_：ID_c014deb95a21b8911151f359c67af292 ._：ID_c014deb95a21b8911151f359c67af292 ._：ID_c014deb95a21b8911151f359c67af292“conf/lopstr/RobertsonA98”。 _：ID_ef424a390520190e320506a624743d5d3。_：ID_ef424a390520190e320506a62473d5d3 ._：ID_ef424a390520190e320506a62473d5d3 ._：ID_ef424a390520190e320506a62473d5d3"10.1007/3-540-48958-4_3" . “逻辑程序综合中的语用学”。 . . . "2"^^. _：Sig_836d7e77b5ab17d5d4aa9318220451d6_1。_：Sig_836d7e77b5ab17d5d4aa9318220451d6_1 ._：信号_836d7e77b5ab17d5d4aa9318220451d6_1“David Stuart Robertson 0001”。_：Sig_836d7e77b5ab17d5d4aa9318220451d6_1 ._：Sig_836d7e77b5ab17d5d4aa9318220451d6_1"1"^^._：Sig_836d7e77b5ab17d5d4aa9318220451d6_1 . _：Sig_836d7e77b5ab17d5d4aa9318220451d6_2。_：Sig_836d7e77b5ab17d5d4aa9318220451d6_2 ._：Sig_836d7e77b5ab17d5d4aa9318220451d6_2“Jaume Agust\u00ED-Culllell”。_：Sig_836d7e77b5ab17d5d4aa9318220451d6_2 ._：Sig_836d7e77b5ab17d5d4aa9318220451d6_2"2"^^._：Sig_836d7e77b5ab17d5d4aa9318220451d6_2 . . . . "41-60" . “LOPSTR”。 “LOPSTR”。 "1998"^^. "1990"^^. . “dblp记录'conf/lopstr/RobertsonA98'的RDF数据的起源信息”。 . . . “2022-09-13T21:45:41+0200”。