退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Topoi中的逻辑:高阶逻辑的函数语义
Awodey, Steven M.;
The University of Chicago;
机译:代数逻辑和topoi;一种哲学整体方法
机译:在与团队语义的存在二阶逻辑和逻辑的联盟关闭片段
机译:理性封闭的语义表征:从命题逻辑到描述逻辑
机译:现有定点逻辑,通用量词和Topoi
机译:基于细胞状态空间的模糊逻辑控制器对高阶系统的自动设计和优化。
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:交互式高阶功能逻辑编程的语义
机译:装置,高阶合成方法,用高阶合成方法制造逻辑电路和记录介质
机译:算术逻辑运算单元,具有高阶和低阶处理部分以及用于控制进位标记之间传输的选择器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。