zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. 艾伯纳,加布里埃尔:自动直觉定理证明的Herbrand构造(2019)