. . . . . “Alexandru Baltag等人：拓扑微积分：完备性和可判定性。（2021）”。 . . _：ID_7aebac035dc5fd08d45bbb2ad7edd809。_：识别号_7aebac035dc5fd08d45bbb2ad7edd809 ._：ID_7aebac035dc5fd08d45bbb2ad7edd809 ._：ID_7aebac035dc5fd08d45bbb2ad7edd809“conf/lics/BaltagBF21”。 _：ID_96eeded4f476fa85e0ee6e6d993d49b0。_：ID_96eeded4f476fa85e0ee6e6d993d49b0 ._：ID_96eeded4f476fa85e0ee6e6d993d49b0 ._：ID_96eeded4f476fa85e0ee6e6d993d49b0“10.1109/LICS52264.2021.9470560”。 “拓扑微积分：完备性和可判定性”。 . . . . "3"^^. _：Sig_97b67ca80089204cf1268bcf7ab0fb4d_1。_：Sig_97b67ca80089204cf1268bcf7ab0fb4d_1 ._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_1“亚历山德鲁·巴尔塔格”。_：Sig_97b67ca80089204cf1268bcf7ab0fb4d_1 ._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_1“1”^^._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_1 . _：Sig_97b67ca80089204cf1268bcf7ab0fb4d_2。_：信号_97b67ca80089204cf1268bcf7ab0fb4d_2 ._：信号_97b67ca80089204cf1268bcf7ab0fb4d_2“尼克·贝扎尼什维利”。_：Sig_97b67ca80089204cf1268bcf7ab0fb4d_2 ._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_2 ._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_2"2"^^._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_2 . _：Sig_97b67ca80089204cf1268bcf7ab0fb4d_3。_：信号_97b67ca80089204cf1268bcf7ab0fb4d_3 ._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_3“David Fern\u00E1ndez-Duque”。_：Sig_97b67ca80089204cf1268bcf7ab0fb4d_3 ._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_3"3"^^._：Sig_97b67ca80089204cf1268bcf7ab0fb4d_3 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/BaltagBF21'的RDF数据的起源信息”。 . . . “2023-05-01T13:01:39+0200”。