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

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

工具书类

本出版物未记录参考文献。

引用人

本出版物无引用记录。