%0 Journal Article
%T 重写技术及其在计算机科学中的应用
%A 陈火旺
%A 王怀民
%J 计算机科学
%D 1990
%I 
%X 项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。
%K 重写技术
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=AB2347AA58DAF5B2799922E7543CD9C7&yid=8D39DA2CB9F38FD0&vid=BCA2697F357F2001&iid=E158A972A605785F&sid=6AC2A205FBB0EF23&eid=CB423C9A71560A74&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0