论文部分内容阅读
逻辑程序Petri网模型的证法和解法（节译）
【出 处】
：
数理译丛
【发表日期】
：
1989年2期
其他文献
[本刊讯]在全省认真投入防治非典型肺炎的战斗中,省档案馆利用馆藏档案资料及时编写了《陕西境内传染病发生及防治情况回顾》,为省委、省政府打好防治"非典"攻坚战提供资政参
<正> 从七九年秋到八○年春,我们《材料力学》课试用了外文教材《Mechanics of Materials》(美国加州大学E.p.Popov 著,第二版,国际单位制版本,1978)。通过教学实践,谈一点个人看法。一、高等学校能否使用外文教材进行教学建国以来,高等学校都使用国内自编教材或讲义进行教学,教与学都缺乏使用外文教材的经验。当前,绝大多数的骨干教师原先学的是俄语,英语是新学的。因此,要使用英文教材,的确存在着实际困难。七九年初,我们教学小组接受试用《Mechanics of Mate
开放档案是档案界的一个古老的话题,在近期再次成为人们议论的焦点.但这次却和以往不同,这次人们谈论的是现行文件的开放,这次是档案工作的实践领先于档案工作的理论,因而也
企业档案是企业发展的重要资源,是企业的信息库.随着社会主义经济建设和现代化科学技术的迅猛发展,随着中国正式加入WTO,随着企业改革的不断深化,各行各业正在努力实现由原来
期刊
7月28日，杨凌农业高新技术产业示范区诞生6周年的前夕，示范区党工委宣传部与示范区档案局联合举办了主题为“一路高歌、一路征程”大型图片展活动，并在展厅西侧广场举行了简朴、