退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用交互式定理证明器为实时系统提供证明帮助
Kolano Paul Z;
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
机译:学习通过与校对助手进行互动证明定理
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:使用定理证明关于系统生物学的形式推理
机译:使用交互式定理证明器对实时系统的证明帮助
机译:具有反射功能的交互式定理证明工具的方法和系统
机译:认证程序乘车证明系统,乘车证明系统的乘车方式,证明装置,乘车证明装置的方式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。