退出
我的积分:
中文文献批量获取
外文文献批量获取
钱立卿;
上海社会科学院 哲学研究所;
上海 200235;
逻辑; 常项; 抽象; 显现;
机译:一阶谓词逻辑,带有强烈的否定和经典逻辑的否定
机译:维特根斯坦对“逻辑城市”概念化的影响-从“逻辑哲学理论”写作罗西的“蓝记”开始的“逻辑城市”理论。
机译:关于在XSB中处理否定(以及以逻辑否定形式扩展XSB编程,及其与逻辑编程现有品种的关系)
机译:维特根斯坦(Wittgenstein)对“逻辑逻辑哲学”(Tractatus Logico-Philosophicus)中数字的逻辑主义定义的批评。
机译:断言合取否定和均等的逻辑运算的数学假设
机译:维特根斯坦“逻辑哲学论”中的图像,二价逻辑和否定事实
机译:逻辑规划与否定:一项调查
机译:否定项关联规则的挖掘方法和系统
机译:可编程逻辑单元和可编程阵列逻辑设备的输出(产品项总和)的总和的逻辑门
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。