. . . “托马斯·奥尼尔（Thomas O'Neil）和杰森·史密斯（Jason Smith:The Representative Power of Conjunctive Normal Form），（2006）”。 _：ID_d4b7c936a4d285f3baf06eef9f7b0a32。_：ID_d4b7c936a4d285f3baf6eef9f7b0a32 ._：ID_d4b7c936a4d285f3baf6eef9f7b0a32 ._：ID_d4b7c936a4d285f3baf6eef9f7b0a32“conf/fcs/ONeilS06”。 “连词范式的表现力”。 . . . "2"^^. _：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_1。_：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_1 ._：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_1“托马斯·奥尼尔”。_：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_1 ._：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_1"1"^^._：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_1 . _：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_2。_：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_2 ._：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_2“杰森·史密斯”。_：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_2 ._：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_2"2"^^._：Sig_8cb199308e0f6faf72ea3ee988b7f3ee_2 . . "175-181" . “未来作战系统”。 “未来作战系统”。 "2006"^^. "2006"^^. . “dblp记录'conf/fcs/ONeilS06'的RDF数据的出处信息”。 . . . “2007-01-02T10:31:32+0100”。