Center for Artificial Intelligence New University of Lisbon Portugal;
Center for Artificial Intelligence New University of Lisbon Portugal;
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:适用于Mizar 40的MizAR 40
机译:解析MIZAR的新发展
机译:在MIZAR-C中实现二叉树
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:解析mizar的新进展
机译:解析器中的骷髅:使用浅层解析器来改善深度解析