. . . . . “巴勃罗·巴伦鲍姆（Pablo Barenbaum）和特奥多罗·弗伦德（Teodro Freund）：具有经典证明和反驳的构造逻辑。（2021）”。 . . _：ID_1d80e8f8327e688aaf71d6a3e0e6d30b。_：ID_1d80e8f8327e688aaf71d6a3e0e6d30b ._：ID_1d80e8f8327e688aaf71d6a3e0e6d30b ._：ID_1d80e8f8327e688aaf71d6a3e0e6d30b“conf/lics/BarenbaumF21”。 _：ID_04f0f503440e77875cd2c3b4c3686e3e。_：ID_04f503440e77875cd2c3b4c3686e3e ._：ID_04f0f503440e77875cd2c3b4c3686e3e ._：ID_04f0f503440e77875cd2c3b4c3686e3e“10.1109/LICS52264.2021.9470649”。 “具有经典证明和反驳的构造逻辑”。 . . . "2"^^. _：Sig_d5b8f0c7015c29ce67a9de72afc4944f_1。_：Sig_d5b8f0c7015c29ce67a9de72afc4944f_1 ._：Sig_d5b8f0c7015c29ce67a9de72afc4944f_1“巴勃罗·巴伦鲍姆”。_：Sig_d5b8f0c7015c29ce67a9de72afc4944f_1 ._：Sig_d5b8f0c7015c29ce67a9de72afc4944f_1"1"^^._：Sig_d5b8f0c7015c29ce67a9de72afc4944f_1 . _：Sig_d5b8f0c7015c29ce67a9de72afc4944f_2。_：Sig_d5b8f0c7015c29ce67a9de72afc4944f_2 ._：Sig_d5b8f0c7015c29ce67a9de72afc4944f_2“特奥多罗·弗伦德”。_：Sig_d5b8f0c7015c29ce67a9de72afc4944f_2 ._：Sig_d5b8f0c7015c29ce67a9de72afc4944f_2"2"^^._：Sig_d5b8f0c7015c29ce67a9de72afc4944f_2 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录‘conf/lics/BarenbaumF21’的RDF数据的起源信息”。 . . . “2021-07-09T14:36:19+0200”。