kripke logical relation; name creation; nu-calculus; categorical models of lambda calculi;
机译:指定用于表示具有抑制链接和较少神经元的逻辑关系的动态结构神经网络模型
机译:动态神经网络自动知识表示逻辑关系
机译:逻辑框架的逻辑关系
机译:动态名称创建的逻辑关系
机译:知识创造和发现学习团队:一个案例研究,探索生物技术研发团队中知识创造,利用和转移的动力。
机译:蜂窝网络的逻辑建模和动力学分析
机译:动态名称创建的逻辑关系