论文部分内容阅读
ELNF 演算是我们在 LNF 演算的基础之上自然扩展逻辑处理设施而成的函数/逻辑演算系统。本文简要介绍了 ELNF 的概念,较详细地描述了扩展的内容与方法.
函数／逻辑归约演算系统ELNF
【摘 要】
：
ELNF 演算是我们在 LNF 演算的基础之上自然扩展逻辑处理设施而成的函数/逻辑演算系统。本文简要介绍了 ELNF 的概念,较详细地描述了扩展的内容与方法.
【机 构】
：
华中理工大学,华中理工大学
【出 处】
：
计算机工程与应用
【发表日期】
：
1992年11期
其他文献
知识库管理系统GKBMS是在Micro VAXⅡ上研制成功的一个通用知识信息处理的集成化环境系统。本文介绍其中预编译器的研究与实现。该预编译器由二级优化编译组成,分别采用部分
随着计算机网络越来越广泛的应用,网络时间同步的要求也越来越重要。本文介绍了网络时间同步的有关概念,讨论了实现网络时间同步的一般方案,详细分析了我们提出的网络时间同
软件工程的基本目的是改进软件质量、提高软件生产率。整体化软件工程是开发软件系统的一个新范式,注重用户接口的开发,通过改进可使用性提高软件整体质量。程序自动生成可以
由金轮针布（江苏）有限公司等针对湖北省棉纺企业开展的“梳理技术沙龙”专项活动第二阶段于7月27日正式启动。本阶段专家们将带着前期企业提出的一些问题走进企业，有针对性地同
本文叙述基于顺序语言MODULA-2的并行扩展语言MODULA-S,对它的设计目标及其扩展的并行结构成份进行了讨论。该语言已在面向数据结构的小巨型机STARLET-Ⅱ上实现。
战略管理被定义为制定和实现组织机构的战略目标、政策和计划的全过程。它是一项由一组管理人员完成的重要的组织任务。尽管信息技术早已被用来支持战略管理,但只是在最近才
2015年7月29日，风起云涌，决战吴江。“发现控制高手”——第二届台达杯自动化设计大赛决赛正式开幕，来自全国各地近60支参赛队伍历经筹备期、海选期，最终迎来了为期2天、在台达吴
探讨DTMl29型细纱机采用空心罗拉式集聚纺的纺纱工艺优化。阐述了空心罗拉式集聚纺的成纱机理和结构特点，实际纺制了JC14．8tex、JC 9．7tex、JC 7．3tex集聚纱，以成纱3mm毛羽数、断