排序方式: 共有62条查询结果,搜索用时 0 毫秒
61.
《中国人民武装警察部队学院学报》2015,(2):97
《武警学院学报》学术理论性强,特色鲜明,读者面广,选稿用稿公平公正,刊发文章的下载率、引用率、转载率高,具有较高的知名度和广泛的影响力。常年开设:边防研究、警卫研究、维和研究、执法研究、反恐处突研究、教育训练研究、思想政治工作研究、部队建设研究;消防理论研究、灭火救援技术、火灾预防、消防安全评价、火灾调查、消防监督管理等栏目,热诚欢迎各界专家学者惠赐佳作! 相似文献
62.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献