×

兹马思-数学第一资源

条归纳法与建构型理论是相容的。(英语) Zbl公司 1427.03066
理学硕士:
03F50型 构造元数学系统
03B38号 类型论
68V15型 定理证明(自动和交互式定理证明程序、演绎、解析等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部