Skip to main content
PBS logo
 
 

Search - Term Rewriting Systems

Term Rewriting Systems
Term Rewriting Systems
Author: Terese
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for ...  more »
ISBN-13: 9780521391153
ISBN-10: 0521391156
Publication Date: 3/15/2003
Pages: 680
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.