Semantics; Programming languages; Artificial intelligence; Interpreters; Theorems; Theory; Variables; Computer programs; Syntax; Domains; Environments; Dynamic binding; Axioms; LISP computer program;
机译:动态绑定的多态游戏语义
机译:重新探讨了p53结合前后的事件理论:压力揭示了p21基因启动子上的特异性和动态p53结合模式。
机译:重新探讨了p53结合前后的事件理论:压力揭示了p21基因启动子上的特异性和动态p53结合模式。
机译:BPEL流程的动态绑定 - 一种将语义集成到Web服务中的轻量级方法
机译:玻璃形成趋势的热力学预测,金属玻璃的成簇在胶中的模型,从头算紧密结合计算以及具有强电子相关性的系统的新密度泛函理论的发展。
机译:使用可逆结合抑制剂控制细胞周期动力学的理论
机译:可加工性理论中的语义信息和形式加工原理。曼弗雷德·皮涅曼(Manfred Pienemann)对“ L1和L2习得中的发展动力学:可加工性理论和生成性紧缩”的同行评论。