几何逻辑、构造和自动定理证明(Dagstuhl研讨会21472)

蒂埃里·科昆德,石原慎美,萨拉·内格里,彼得·舒斯特几何逻辑、构造和自动定理证明(Dagstuhl研讨会21472)达格斯图尔报告, 11(10):151-172,2021 [美国国防部]

摘要

缺少摘要。