. . . . . . “Anuj Dawar等人：通过静态环境逻辑中的游戏进行辅助消除。（2004）”。 . . . _：ID_6fad9809b92430a78168cce8a3f415e6。_：ID_6fad9809b92430a78168接受8a3f415e6 ._：ID_6fad9809b92430a78168cce8a3f415e6 ._：ID_6fad9809b92430a78168cce8a3f415e6“conf/fsttcs/DawarGG04”。 _：ID_8748b04ecc2f926a0cca74e4b038bec4。_：标识_8748b04ecc2f2926a0cca74e4b038bec4 ._：ID_8748b04ecc2f926a0cca74e4b038bec4 ._：ID_8748b04ecc2f926a0cca74e4b038bec4"10.1007/978-3-540-30538-5_18" . _：ID_ae462a94b04980ae894c62931f2c38f4。_：ID_ae462a94b04980ae894c62931f2c38f4 ._：ID_ae462a94b04980ae894c62931f2c38f4 ._：ID_ae462a94b04980ae894c62931f2c38f4“Q58215677”。 “通过静态环境逻辑中的游戏进行辅助消除。”。 . . . . "3"^^. _：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1。_：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1“Anuj Dawar”。_：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1"1"^^._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_1 . _：Sig_563b9350ea6dde6367f6c82fd53dc3a2_2。_：Sig_563b9350ea6dde6367f6c82fd53dc3a2_2 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_2“菲利普·加德纳”。_：Sig_563b9350ea6dde6367f6c82fd53dc3a2_2 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_2"2"^^._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_2 . _：Sig_563b9350ea6dde6367f6c82fd53dc3a2_3。_：Sig_563b9350ea6dde6367f6c82fd53dc3a2_3 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_3“乔治·盖利”。_：Sig_563b9350ea6dde6367f6c82fd53dc3a2_3 ._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_3"3"^^._：Sig_563b9350ea6dde6367f6c82fd53dc3a2_3 . . . . "211-223" . “FSTTCS”。 “FSTTCS”。 "2004"^^. "2004"^^. . “dblp记录'conf/fsttcs/DawarGG04'的RDF数据的起源信息”。 . . . “2018-11-14T10:57:41+0100”。