退出
我的积分:
中文文献批量获取
外文文献批量获取
方林; 程景云;
不详;
程序设计; 程序逻辑; 程序语言; 正确性;
机译:逻辑程序转换的基于约束的正确性证明
机译:借助抽象状态机的分布式Prolog实现的正确性证明
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:逻辑程序转换的自动正确性证明
机译:模块化编译器及其正确性证明。
机译:逻辑程序设计预测器官命运中的细胞命运模式并逆转基因型
机译:基于约束的逻辑程序转换正确性证明
机译:prologations和循环向量
机译:带注释的逻辑程序(例如Prolog)的软件代码中的错误检测
机译:杜比(Dolby)Prologic音频装置
机译:杜比(Dolby)-Prologic-解码器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。