退出
我的积分:
中文文献批量获取
外文文献批量获取
宋立彤;
不详;
函数式语言; SFL; PROLOG; 程序转换; 程序语言;
机译:Lamprologus markerti,一种新的Lamprologine丽鱼科鱼(Teleostei:Cichlidae)特有,位于非洲中西部刚果民主共和国的刚果河下游
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:剑麻3.2:用于科学并行编程的函数式语言
机译:ASP - Prolog:一种推理答案在Prolog中的答案的系统
机译:PMSCA:一种基于内容的基于内存的高性能Prolog机器。
机译:在资源不足和/或远程设置中潜在使用远程超声检查作为一种转换技术
机译:第三方在网络市场中提供转换技术第三方在网络市场中提供转换技术第三方在网络市场中提供转换技术
机译:使用prolog的明确子句语法解决约束满足问题的一种技术
机译:杜比(Dolby)Prologic音频装置
机译:杜比(Dolby)-Prologic-解码器
机译:杜比Prologic解码器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。