学术工具
退出
我的积分:
中文文献批量获取
外文文献批量获取
丁建洋;
盐城工学院经济管理学院,江苏盐城224051;
应用型大学; 类型化; 知识秩序; 逻辑意蕴; 建构机理; 价值旨趣;
机译:MSVL:时态逻辑编程的一种类型化语言
机译:具有Hilbertε项的直觉,类型化一阶逻辑的分类解释
机译:类型化规范语言推理的两级逻辑方法
机译:类型化逻辑程序的类型化规范
机译:恐龙家庭价值观:19世纪和20世纪西方文学中科学价值观念的文化建构。
机译:不可能的建构:基于逻辑的魔术技巧分析
机译:依赖于特定于域的逻辑的类型化编程
机译:三维逻辑建构玩具
机译:高强度的Zn-Al-Mg基镀层钢板,用于在弯曲过程中出色地构建构件并使用该构件来构建构件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。