退出
我的积分:
中文文献批量获取
外文文献批量获取
邹崇理;
中国社会科学院哲学所逻辑室;
非连续量词; 组合分析; 类型-逻辑语义;
机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
机译:量词处理可以与数值处理分离:语义痴呆患者的证据
机译:多量词句子的连续语义:基于操作的方法
机译:概率逻辑语义学中量词的正确处理
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:量词和计数名词的句法和语义处理:ERP研究
机译:模态逻辑和量词逻辑的粗糙集语义概述
机译:非单调逻辑的语义考虑
机译:从直接访问存储设备的逻辑连续可寻址块的非连续组创建虚拟磁盘的数据处理方法
机译:通过高速缓存读取进行动态只读存储器测试,将非或非排他性或与非或非排他性逻辑电路配合使用,以检查高速缓存类型临时存储器元素的状态
机译:连续分层逻辑类型语言的处理方法。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。