...
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论命题计划形式主义的可编译性和表达能力
获取外文期刊封面封底 >>
Nebel B.;
机译:命题逻辑的表达能力和不完整性
机译:范畴文法的表达能力:代表上下文无关的形式主义
机译:编译方案:评估规划形式主义的表现力的理论工具
机译:逻辑主义,形式主义和直觉主义的中心命题的考察:对学校数学程序发展的启示。
机译:驱动蛋白运动的理论形式主义I.珠运动由单头单头驱动蛋白提供动力。
机译:论命题规划的可比性与表达能力 形式主义
机译:旅行计划命题装置和旅行计划的旅行计划命题装置
机译:改进计划提案系统,改进计划提案程序和改进计划提案方法
机译:生产计划编制系统,生产计划编制方法及其程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。