. . . . . “Maria Paola Bonacina和Mnacho Echenim：分解的T-Decision（2007）”。 . _：ID_8a30cf3a884d650d9bec0419731d4a4c。_：ID_8a30cf3a884d650d9bec041971d4a4c ._：识别号_8a30cf3a884d650d9ec0419731d4a4c ._：ID_8a30cf3a884d650d9bec041971d4a4c ._：ID_8a30cf3a884d650d9bec041971d4a4c“conf/cade/BonacinaE07”。 _：ID_a1cbe77f9b58c6d09d8331834ebf2de4。_：识别号_a1cbe77f9b58c6d09d8331834ebf2de4 ._：ID_a1cbe77f9b58c6d09d8331834ebf2de4 ._：ID_a1cbe77f9b58c6d09d8331834ebf2de4 ._：ID_a1cbe77f9b58c6d09d8331834ebf2de4"10.1007/978-3-540-73595-3_14" . “T-分解决策”。 . . . . . "2"^^. _：Sig_70beca81b99712c98279ff60a466f808_1。_：Sig_70beca81b99712c98279ff60a466f808_1 ._：Sig_70beca81b99712c98279ff60a466f808_1 ._：Sig_70beca81b99712c98279ff60a466f808_1“玛丽亚·保拉·博纳西纳”。_：Sig_70beca81b99712c98279ff60a466f808_1 ._：Sig_70beca81b99712c98279ff60a466f808_1"1"^^._：Sig_70beca81b99712c98279ff60a466f808_1 . _：Sig_70beca81b99712c98279ff60a466f808_2。_：Sig_70beca81b99712c98279ff60a466f808_2 ._：Sig_70beca81b99712c98279ff60a466f808_2 ._：Sig_70beca81b99712c98279ff60a466f808_2“Mnacho Echenim”。_：Sig_70beca81b99712c98279ff60a466f808_2 ._：Sig_70beca81b99712c98279ff60a466f808_2"2"^^._：Sig_70beca81b99712c98279ff60a466f808_2 . . . . . "199-214" . “CADE”。 “CADE”。 "2007"^^. "2007"^^. . “dblp记录‘conf/cade/BonacinaE07’的RDF数据的来源信息”。 . . . “2017-05-21T00:17:17+0200”。