退出
我的积分:
中文文献批量获取
外文文献批量获取
沈露明;
程序系统;
机译:从控制的公式即类型概念派生用于非局部跳跃的Floyd-Hoare逻辑
机译:隐分式积分方程的可解性及其非完备性的度量。
机译:关于非强制混合问题全纯族的根函数的完备性
机译:类似于ALGOL的语言的良好Hoare公理系统
机译:通过公理系统对工程设计信息进行形式化建模。
机译:关于公理系统比较的评论
机译:量子力学的公理系统与完备性表达
机译:关于Hoare逻辑完备性的两个定理
机译:炸药爆轰完备性估算方法及其实现方法
机译:提高燃气轮机发动机燃烧室中碳氢化合物燃料燃烧效率和完备性的方法
机译:通过导向终端探测设备的完备性,以便于更换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。