退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过分类逻辑关联商业完成
Maria Emilia Maietti; Giuseppe Rosolini;
机译:与直觉线性逻辑相关的分类语义
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:分类抽象代数逻辑:分类Suszko运算符
机译:在模块化组的单龙头标本上
机译:连续逻辑中的可定定性和分类
机译:Quantum程序的分类逻辑的第一步
机译:与直觉线性逻辑相关的类别语义
机译:一种基于测试结果(例如记忆和认知的输入量)以及逻辑和结果的输出量的方法,用于识别深度上的儿童,分析儿童上的儿童图案,并生成儿童上的儿童的方法
机译:算术除法中早商完成的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。