退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:作为函子的接口,作为余数的程序—意图类型理论中的最终余数定理
Michelbrink Markus;
机译:作为函子的接口,作为余数的程序-内涵类型理论中的末余余数定理
机译:幂集函子和饱和树的最终代数
机译:可测空间上的函子的最终定理
机译:完备集合函子的代数中行为对等的完整逻辑
机译:图论中的压缩定理和整数程序的压缩。
机译:用于PubMLST分子分型和基因组数据库的RESTful应用程序编程接口
机译:依赖型理论中的交互式程序和弱最终余代数(扩展版)
机译:朗姆酒的本质:Lisp型计算的内涵和外延理论
机译:光盘和计算机程序,用于演示几何和数论,包括教授费马最后定理的新方法
机译:将初始类型的初始对象转换为最终类型的最终对象的方法和计算机程序产品
机译:书型界面应用控制装置和方法,书型界面应用控制程序以及记录有该程序的媒体
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。