退出
我的积分:
中文文献批量获取
外文文献批量获取
徐传芳; 季桂林;
[1]临沂师专数学系;
[2]德州教育学院;
原始定义; 逻辑推导; 闭区间; 命题函数; 当且仅当; 逻辑等价; 自然数集; 逻辑符号; 运算规则; 牛家骥;
机译:一阶谓词逻辑,带有强烈的否定和经典逻辑的否定
机译:双重直觉逻辑和各种否定逻辑:科学研究的逻辑
机译:关于在XSB中处理否定(以及以逻辑否定形式扩展XSB编程,及其与逻辑编程现有品种的关系)
机译:布尔的逻辑哲学的起源:将传统逻辑吸收到数学分析中。
机译:为什么甚至重新定义的选择逻辑仍可能与公共卫生系统中的护理逻辑相矛盾?
机译:非标准湍流分析理论中的几个重要概念(The 修订)
机译:消除逻辑框架中的否定
机译:在语音识别系统中使用单词的否定示例的方法和系统,其中该方法包括定义一组单词,识别一组此类单词的否定示例,对这些组中的关键字进行调查,确定单词的置信度值识别候选单词集中的至少一个单词,比较置信度值,接受候选单词。
机译:直接燃料,例如柴油机,喷射式内燃发动机控制,涉及以协调器预定义的操作模式操作发动机,该协调器使用否定排除逻辑选择优先级高的规格
机译:总线系统具有更多数量的时隙,用于在一个单元将数据输出到总线上的阶段中,一个,几个或所有单元可以输出数据的阶段中传输定义的数据量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。