巴勃罗·巴伦鲍姆（Pablo Barenbaum）和特奥多罗·弗伦德（Teodro Freund）：具有经典证明和反驳的构造逻辑。(2021) conf/lics/BarenbaumF21 10.1109/许可证5226.4021.9470649 具有经典证明和反驳的构造逻辑。 2 巴勃罗·巴伦鲍姆 1 特奥多罗·弗伦德 2 1月13日 许可证 许可证 2021 2021 dblp记录“conf/lics/BarenbaumF21”的RDF数据的来源信息 2021-07-09T14:36:19+0200