退出
我的积分:
中文文献批量获取
外文文献批量获取
欧阳一鸣;
合肥工业大学计算机与信息系;
逻辑模拟; 数字电路; 计算机; PROLOG语言;
机译:用Prolog和Prolog III语言表示日历算法和数据
机译:一种基于Prolog的OWL查询语言
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:THEMIS逻辑模拟器-混合模式,多层,分层,交互式数字电路模拟器
机译:PMSCA:一种基于内容的基于内存的高性能Prolog机器。
机译:Prolog:护理决策支持系统的实用语言?
机译:在prolog和prolog III语言中表示日历算法和数据
机译:VLsI布局的prolog:Topolog的设计和实现经验,基于prolog的模块生成和布局系统
机译:从数字电路数据到逻辑模拟描述语言的自动翻译方法
机译:基于Prolog语言的关系数据库检索系统。
机译:Prolog语言处理系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。