科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用逻辑编程语言实现多态打字
Keehang Kwon; Gopalan Nadathur; Debra Sue Wilson;
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:逻辑编程语言Gödel的多态多点类型系统的实现
机译:可选类型的功能编程语言的设计与实现
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:编程语言:实现,逻辑和程序
机译:Hoare的两种数据类型编程语言的逻辑
机译:将合格的,多态的,对冲规则的类型合并到计算机编程语言中
机译:硬件描述语言,例如高速集成电路硬件描述语言,代码生成方法,例如可编程逻辑设备,涉及在执行请求时实现机器的状态转换
机译:工程变更单语言,用于修改集成电路设计文件以实现可编程逻辑器件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。