. . . . . “陈金生等:正确显示演算的句法完整性(2022)”。 . . _:ID_a54669477fc280047d3c94efd5f5b5c3。_:ID_a54669477fc280047d3c94efd5f5b5c3 ._:ID_a54669477fc280047d3c94efd5f5b5c3 ._:ID_a54669477fc280047d3c94efd5f5b5c3“期刊/tocl/ChenGPT22”。 _:ID_a5e47190e1333047f689a785075ebc7b。_:ID_a5e47190e1333047f689a785075ebc7b ._:ID_a5e47190e1333047f689a785075ebc7b ._:ID_a5e47190e1333047f689a785075ebc7b"10.1145/3529255" . “正确显示演算的句法完整性”。 . . . . . "4"^^. _:Sig_02df240a29990fc0dad54fb27fcc457f_1。_:信号_02df240a29990fc0dad54fb27fcc457f_1 ._:Sig_02df240a299990fc0dad54fb27fcc457f_1“陈金生”。_:信号_02df240a29990fc0dad54fb27fcc457f_1 ._:Sig_02df240a299990fc0dad54fb27fcc457f_1 ._:信号_02df240a29990fc0dad54fb27fcc457f_1“1”^^._:Sig_02df240a299990fc0dad54fb27fcc457f_1 . _:Sig_02df240a29990fc0dad54fb27fcc457f_2。_:Sig_02df240a299990fc0dad54fb27fcc457f_2 ._:Sig_02df240a299990fc0dad54fb27fcc457f_2“Giuseppe Greco 0001”。_:Sig_02df240a299990fc0dad54fb27fcc457f_2 ._:Sig_02df240a299990fc0dad54fb27fcc457f_2 ._:Sig_02df240a299990fc0dad54fb27fcc457f_2"2"^^._:Sig_02df240a299990fc0dad54fb27fcc457f_2 . _:Sig_02df240a29990fc0dad54fb27fcc457f_3。_:Sig_02df240a299990fc0dad54fb27fcc457f_3 ._:Sig_02df240a299990fc0dad54fb27fcc457f_3“亚历山德拉·帕尔米吉亚诺”。_:Sig_02df240a299990fc0dad54fb27fcc457f_3 ._:Sig_02df240a299990fc0dad54fb27fcc457f_3 ._:Sig_02df240a299990fc0dad54fb27fcc457f_3"3"^^._:Sig_02df240a299990fc0dad54fb27fcc457f_3 . _:Sig_02df240a29990fc0dad54fb27fcc457f_4。_:Sig_02df240a299990fc0dad54fb27fcc457f_4 ._:Sig_02df240a299990fc0dad54fb27fcc457f_4《阿波斯托洛斯·齐莫利斯》。_:Sig_02df240a299990fc0dad54fb27fcc457f_4 ._:Sig_02df240a299990fc0dad54fb27fcc457f_4 ._:Sig_02df240a299990fc0dad54fb27fcc457f_4"4"^^._:Sig_02df240a299990fc0dad54fb27fcc457f_4 . . . . "23:1-23:46" . “ACM事务计算日志”。 “ACM事务计算日志”。 "23" . "4" . "2022"^^. “dblp记录'journals/tocl/ChenGPT22'的RDF数据的来源信息”。 . . . “2022-12-05T13:35:14+0100”。