退出
我的积分:
中文文献批量获取
外文文献批量获取
鲍·约岡松; 冯湘一;
苏联美术研究院;
副院长;
美术创作; 创作构思; 思维过程; 我自己; 功明; 雨工; 祝中; 造形; 佩委; 程中;
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:直觉逻辑和模态逻辑中析取性质的复杂性
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:哲学与人工智能之间的相互作用:直觉与非逻辑学推理在情报中的作用
机译:协会在美术创作和欣赏中的作用。
机译:推理和宗教信仰之间的负关系由直觉响应的偏见所支撑特别是当直觉和逻辑冲突时
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:从索引的Lax逻辑到直觉逻辑
机译:一种用于机动车的制动方法,其包括根据逻辑在各个车轮上交替施加制动作用,其中根据另一逻辑施加未根据逻辑施加的制动作用。
机译:具有用于晶体管的电路的装置具有栅极隔离和互补的逻辑电路的作用,该逻辑电路被集成以注入到同一衬底半导体-导体中,并且其制造方法
机译:直觉防火联结,多个直觉消防联结的滚动以及安装直觉消防联结的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。