AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:隐式量化明确:如何在符号中解释空白节点和通用变量3逻辑
Dörthe Arndt; Tom Schrijvers; Jos De Roo; Ruben Verborgh;
机译:隐式量化变得明确:如何在Notation3 Logic中解释空白节点和通用变量
机译:使用空间隐性和半显性中性模型估算和解释亚马逊森林的迁移
机译:Notation3逻辑语义:隐式量化的解决方案
机译:随时间变化的PDE的可变步长隐式-显式线性多步方法。
机译:根据是否发出显式锁定请求来隐式锁定子树或显式锁定节点的系统
机译:用于创建基于网络的联系人簿的方法,该方法包括在定制和私有独立联系人簿中包含多源联系人生成的内容(来自社交网络),并通过唯一的方式从多个外部资源(包括多个社交网络)中有选择地提取信息用户决策节点与主数据表和从属数据表结构的组合,不会产生显式或隐式的源级别值判断或偏差
机译:该方法,装置和膨胀部分-具有用于显式/隐式路由的装置的网络节点
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。