偏函数相关硕士博士期刊学术论文

Mizar系统起源于数学定理的机械化证明,它是用于证明和计算数学问题的计算机语言系统,专门用来构建Mizar数学知识库的自动推理校验......