退出
我的积分:
中文文献批量获取
外文文献批量获取
喻钢; 柳欣欣;
中国科学院;
软件研究所;
计算机科学国家重点实验室;
北京;
100190;
研究生院;
100049;
程序演算; 形式语义; 传名调用; CPS(continuation-passing-style); 归约;
机译:名称调用和值调用λμ ce:italic>-演算的适用双相似性
机译:用Proton响应4,4'-二羟基-2,2'-二吡啶配体的CP * RH(III)和CP * CP * CO(III)催化剂的CP * RH(III)和CP * CO(III)催化剂的反应机理促使CP * RH(III)和CP * CO(III)催化剂:DFT研究
机译:值调用Lambda演算作为Coq中的计算模型
机译:价值传递演算
机译:新型chi脉冲傅里叶变换微波(CP-FTMW)光谱仪的开发用于研究气相中的生物分子
机译:非高斯扩散成像与分数阶演算模型以预测胃肠道间质瘤对舒尼替尼二线治疗的反应。
机译:按值调用Lambda演算的空间剖析语义和CPS转换
机译:约束规划的原理与实践 - Cp96。第二届国际会议,Cp96,剑桥,马萨诸塞州,美国,1996年8月19 - 22日,会议录
机译:OPC UA框架节点中CPS分析模型的定义方法及相应方法中的CPS分析算法调用
机译:Gartar演算演算演算演算演算
机译:参数值传递的过程调用方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。