论文部分内容阅读
基于自动推理方法的多值逻辑设计系统
【机 构】
：
北京航空航天大学
【出 处】
：
第三届全国逻辑设计自动化学术会议
【发表日期】
：
1991年期
其他文献
教师的课程理解作为课程与教师领域中的基本问题被多次研究探讨,文章基于人类学认识的视角,通过对现有教师课程理解的问题审视提出以下建议:还事物本源--把握两个向度、动态
本文扼要介绍国内外直冲式自动纹板冲孔系统的概况，详细讨论了浙江大学电气自动化研究所研制的直冲式全自动纹板冲孔系统的技术特点。真空吸与刮推结合的原理喂纸，辊筒送纸，电磁
在“一带一路”建设的大背景下,海疆地区的公共文化服务体系建设成为促进海疆地区经济文化融合、延伸文化服务的重要举措.文章在田野调查的基础上,综合总结了具有海疆特色的