AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
徐传芳; 季桂林;
[1]临沂师专数学系;
[2]德州教育学院;
原始定义; 逻辑推导; 闭区间; 命题函数; 当且仅当; 逻辑等价; 自然数集; 逻辑符号; 运算规则; 牛家骥;
机译:影响白癜风表皮移植中成败的几个重要问题:—附143例临床分析
机译:含能材料热分解研究中的几个重要问题
机译:基于受迫振动实验中几个问题的理论推导
机译:如何在关键路径中提取重要任务
机译:布尔的逻辑哲学的起源:将传统逻辑吸收到数学分析中。
机译:在语音识别系统中使用单词的否定示例的方法和系统,其中该方法包括定义一组单词,识别一组此类单词的否定示例,对这些组中的关键字进行调查,确定单词的置信度值识别候选单词集中的至少一个单词,比较置信度值,接受候选单词。
机译:对文本中概念的相对重要性进行半定量分类,根据它们在本体和用户偏好方面的重要性对概念进行排名
机译:直接燃料,例如柴油机,喷射式内燃发动机控制,涉及以协调器预定义的操作模式操作发动机,该协调器使用否定排除逻辑选择优先级高的规格
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。