. . . . . “Bai Xue等人：数值软件的稳健非终止分析（2018）”。 . . _：ID_676c5e50069d1ea1c0dc6d7780c4f9a2。_：标识_676c5e50069d1ea1c0dc6d7780c4f9a2 ._：ID_676c5e50069d1ea1c0dc6d7780c4f9a2 ._：标识_676c5e50069d1ea1c0dc6d7780c4f9a2“conf/setta/0001ZLW18”。 _：ID_836f91219d4e1c1eaa77f99a5944cefc。_：ID_836f91219d4e1c1eaa77f99a5944cefc ._：ID_836f91219d4e1c1eaa77f99a5944cefc ._：ID_836f91219d4e1c1eaa77f99a5944cefc"10.1007/978-3-319-99933-3_5" . “数值软件的稳健无终止分析”。 . . . . . "4"^^. _：Sig_84372ef4a96041e5dda73e1c23881ce6_1。_：Sig_84372ef4a96041e5dda73e1c23881ce6_1 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_1“白雪0001”。_：Sig_84372ef4a96041e5dda73e1c23881ce6_1 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_1"1"^^._：Sig_84372ef4a96041e5dda73e1c23881ce6_1 . _：Sig_84372ef4a96041e5dda73e1c23881ce6_2。_：Sig_84372ef4a96041e5dda73e1c23881ce6_2 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_2“Naijun Zhan”。_：Sig_84372ef4a96041e5dda73e1c23881ce6_2 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_2"2"^^._：Sig_84372ef4a96041e5dda73e1c23881ce6_2 . _：Sig_84372ef4a96041e5dda73e1c23881ce6_3。_：Sig_84372ef4a96041e5dda73e1c23881ce6_3 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_3“杨佳丽”。_：Sig_84372ef4a96041e5dda73e1c23881ce6_3 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_3"3"^^._：Sig_84372ef4a96041e5dda73e1c23881ce6_3 . _：Sig_84372ef4a96041e5dda73e1c23881ce6_4。_：Sig_84372ef4a96041e5dda73e1c23881ce6_4 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_4“王秋叶”。_：Sig_84372ef4a96041e5dda73e1c23881ce6_4 ._：Sig_84372ef4a96041e5dda73e1c23881ce6_4"4"^^._：Sig_84372ef4a96041e5dda73e1c23881ce6_4 . . . . “69-88”。 “设置”。 “设置”。 "2018"^^. "2018"^^. . “dblp记录'conf/setta/0001ZLW18'的RDF数据的出处信息”。 . . . “2018-08-27T10:46:05+0200”。