Mathematical model; Electronic mail; Cognition; Libraries; Lenses; Computer science; Information systems;
机译:Mizar系统中MRDP定理的形式化
机译:在Mizar中采用组合命名方法进行程序形式化
机译:ATP和Mizar形式化演示服务
机译:MIZAR系统中Pell方程的形式化
机译:使用离散事件系统的监督控制,对实时系统的单处理器和多处理器调度进行形式化。
机译:MOSART数据库:将SART CORS临床数据库链接到基于人群的马萨诸塞州PELL生殖公共卫生数据系统
机译:关于Pell方程组的解数
机译:具有pell数运算函数的方程。