退出
我的积分:
中文文献批量获取
外文文献批量获取
黄晓艺;
东莞理工学院城市学院,广东东莞,523106;
CopedSew; lambda演算;
机译:Lambda演算上下文的演算
机译:类型化答案集编程Lambda演算理论及其反Lambda算法的正确性
机译:利用G矩阵Lambda N相互作用的超核三体和四体簇模型-Be-9(Lambda),C-13(Lambda),He-6(Lambda Lambda)和Be-10(Lambda Lambda)
机译:原子Lambda演算:具有明确共享的类型化Lambda演算。
机译:用于自然语言处理的反Lambda演算算法。
机译:磷酸转移酶介导的大肠杆菌K12中碳水化合物利用的调节:在专门的转导噬菌体lambda iex(crr)和lambda gsr(tgs)上鉴定基因产物。
机译:原子Lambda演算:具有显式共享的类型化Lambda演算
机译:Lambda演算的面向列表扩展的模型
机译:Gartar演算演算演算演算演算
机译:使用包含适用语言代码的变量来减少lambda演算表达式的计算机
机译:水平Kappa-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda-Klambda -klambda-klambda-klambda-klambda-
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。