退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:线性Lambda演算的操作方面
Patrick Lincoln; John Mitchell;
机译:Lambda积算的概率运算语义
机译:λ微积分中量子计算的两个线性
机译:Lambda演算的弱线性化
机译:线性lambda演算的操作方面
机译:单调推理的λ演算。
机译:量子力学中的操作微积分。一些批评意见和特殊问题的解决
机译:通过应用于操作语义来减少线性lambda演算
机译:启动au Lambda-Calcul(启动为Lambda微积分)。
机译:布置在汽车的内燃机的排气道中的线性拉姆达探针的操作方法涉及基于第一和第二拉姆达信号确定线性拉姆达探针的误差
机译:使用包含适用语言代码的变量来减少lambda演算表达式的计算机
机译:带有线性驱动器的Lambda形剪板机,通过线性传递至剪板机,至少耦合了一个驱动器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。