退出
我的积分:
中文文献批量获取
外文文献批量获取
于鹏;
陕西科技大学理学院;
公式真度; 计量逻辑学; 形式化推理; 经典命题逻辑系统;
机译:使用外推演化的合适方法进行多优化的算法
机译:逻辑学和科学方法论中的群体起源
机译:形式化方法(网络形式化方法)
机译:基于UML形式化的构造型推演算法及其在地理信息系统中的应用
机译:反伪装:逻辑学家的干预战略方法
机译:使用逻辑学习机和标准监督方法分析基因表达数据用于儿科和成人癌症诊断
机译:欧克汉姆逻辑学,反欧克汉姆逻辑学:有争议的主要问题欧克汉姆逻辑学,反欧克汉姆逻辑学:争议中的主要问题
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
机译:从逻辑学到逻辑学
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。