刘育刚
【姓名】 刘育刚
【职称】 教授;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;武器工业与军事技术;
【研究方向】
【发表文献关键词】 PROLOG语言,程序追踪,逻辑电路,硬件模拟,Prolog语言,程序正确性证明,模拟程序,终止问题,软件图,程序图形工具,递归,树图,节点,递归程序,PROLOG,Prolog,程序的正确性,PRO...
【工作单位】 哈尔滨工程大学
【曾工作单位】 哈尔滨工程大学;
【所在地域】 哈尔滨
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/9 2 3 7 12 231
中国期刊全文数据库    共找到8篇
[1]刘育刚，吕光楣.Pro树与Prolog程序追踪[J]计算机研究与发展.1995,(07)
[2]刘育刚.逻辑电路模拟程序的PRO树图解[J]微处理机.1995,(01)
[3]刘育刚.递归Prolog程序的正确性证明[J]计算机学报.1996,(01)
[4]王燕,刘育刚,李宁.程序图形工具PRO树及其应用[J]电脑学习.1996,(05)
[5]刘育刚.递归Prolog程序终止问题的探讨[J]微处理机.1996,(02)
[6]刘育刚.基于Pro图的程序形式推导技术[J]哈尔滨工程大学学报.1997,(03)
[7]刘大昕,刘群,印桂生,刘育刚.指控系统中的数据融合与人工神经网络[J]舰船指挥控制系统.1997,(02)
[8]刘育刚.双重递归 Prolog 程序的运行机制[J]哈尔滨工程大学学报.1998,(01)
更多