AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:pi:部分归纳定义微积分的交互式推导编辑器
Lars-henrik Eriksson;
机译:关于迭代归纳定义和Pi(1)(1)-理解的某些二阶系统以及集合论的相关子系统的注释
机译:(共)归纳型理论中的微积分
机译:摘要归纳和共同归因定义
机译:CIC:归纳构造演算中基于类型的递归定义终止
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:编辑推荐:经导管主动脉瓣植入临床试验的标准化终点定义:Valve学术研究联盟的共识报告
机译:基于部分归纳定义的编程演算(介绍部分归纳定义的理论)
机译:部分过程定义数据的数据结构,部分过程定义数据的生成方法以及部分过程定义数据的生成程序
机译:部分流量定义生成程序,部分流量定义生成方法以及部分流量定义生成装置
机译:局部流定义生成程序,局部流定义生成方法和局部流定义生成器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。