退出
我的积分:
中文文献批量获取
外文文献批量获取
苏锦钿; 余珊珊;
华南理工大学计算机科学与工程学院;
广东药学院医药信息工程学院;
递归函子; 共归纳数据类型; 终结共代数; 共递归;
机译:(共归纳谓词,(共)代数数据类型和(共)递归函数的关系分析
机译:Mendler样式递归组合器的层次结构:驯服带有负出现的归纳数据类型
机译:在没有归纳的归纳数据类型上求解喇叭子句 - 错误
机译:简单地进行共归纳:程序验证程序中的自动共归纳证明
机译:多肽材料的合成和研究:自组装嵌段共肽两亲物,DNA缩合嵌段共多肽和膜相互作用无规共多肽。
机译:基本(共)数据类型和(共)递归用于高阶逻辑
机译:共燃煤:饲养场和垃圾生物质燃料。第10号季度进展报告。粉状燃料和固定床燃烧器中的饲养场和垫料生物质共燃
机译:一种在催化剂上的含碳沉积物燃烧过程中提高催化剂的共深2 /共比的方法,以提高共深2 /共比
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。