退出
我的积分:
中文文献批量获取
外文文献批量获取
林琪; 杨春生;
国防科工委指挥技术学院电子技术系;
WAM; 编译系统; 逻辑程序; SC-PROLOG;
机译:BinProlog经验:继续通过Prolog和一流逻辑引擎的体系结构和实现选择
机译:通讯高效的数据并行程序编译系统的设计与实现
机译:用逻辑程序实现动态流程图方法模型
机译:Prolog中用于扩展逻辑程序的元解释器
机译:lambda Prolog语言的实现围绕高阶模式统一组织。
机译:约束逻辑程序设计方法用于蛋白质结构预测
机译:Pascal中的实现:将Prolog转换为Pascal
机译:pascal中的实现:将prolog翻译成pascal
机译:带注释的逻辑程序(例如Prolog)的软件代码中的错误检测
机译:用于实现并发逻辑程序的方法和装置
机译:实现并发逻辑程序的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。