Term Rewriting and All That 2024 pdf epub mobi 電子書 下載

☆☆☆☆☆
簡體網頁||繁體網頁

Term Rewriting and All That pdf epub mobi 著者簡介

---

Term Rewriting and All That pdf epub mobi 圖書描述

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and congruence closure in more depth and develop efficient Pascal programs. The book contains many examples and over 170 exercises. This is also an ideal reference book for professional researchers: results spread over many conference and journal articles are collected here in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Term Rewriting and All That 2024 pdf epub mobi 電子書 下載

---

Term Rewriting and All That pdf epub mobi 圖書目錄

Preface
1. Motivating examples
2. Abstract reduction systems
3. Universal algebra
4. Equational problems
5. Termination
6. Confluence
7. Completion
8. Gröbner bases and Buchberger's algorithm
9. Combination problems
10. Equational unification
11. Extensions
Appendix 1. Ordered sets
Appendix 2. A bluffer's guide to ML
Bibliography
Index
· · · · · · (收起)

---

下載链接在页面底部

點擊這裡下載

    

---

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

---

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

---

發表於2024-06-26

Term Rewriting and All That 2024 pdf epub mobi 電子書 下載

Term Rewriting and All That 2024 pdf epub mobi 電子書 下載

Term Rewriting and All That 2024 pdf epub mobi 電子書 下載

---

喜欢 Term Rewriting and All That 電子書 的读者还喜欢

Term Rewriting and All That pdf epub mobi 讀後感

圖書標籤: 編程語言理論  term-rewriting  計算機科學  編譯&體係結構  人工智能  pl  Term  Rewriting   

Term Rewriting and All That pdf epub mobi 用戶評價

Term Rewriting and All That 2024 pdf epub mobi 電子書 下載

• 
  Equilibrium and Non-Equilibrium Statistical Thermodynamics 2024 pdf epub mobi 電子書 下載
• 
  Roman Monarchy and the Renaissance Prince 2024 pdf epub mobi 電子書 下載
• 
  Nonlinear Waves, Solitons and Chaos 2024 pdf epub mobi 電子書 下載
• 
  Tolerance Graphs (Cambridge Studies in Advanced Mathematics) 2024 pdf epub mobi 電子書 下載
• 
  Topics in Finite and Discrete Mathematics 2024 pdf epub mobi 電子書 下載
• 
  An Introduction to Buddhist Ethics 2024 pdf epub mobi 電子書 下載
• 
  Computability and Logic 2024 pdf epub mobi 電子書 下載
• 
  The 1702 Chair of Chemistry at Cambridge 2024 pdf epub mobi 電子書 下載
• 
  Elliptic Functions 2024 pdf epub mobi 電子書 下載
• 
  Palaeopathology 2024 pdf epub mobi 電子書 下載
• 
  Cambridge Wizard Student Guide Gattaca (Cambridge Wizard English Student Guides) 2024 pdf epub mobi 電子書 下載
• 
  The Functional Approach to Programming 2024 pdf epub mobi 電子書 下載
• 
  The Gecko's Foot 2024 pdf epub mobi 電子書 下載
• 
  The Geometry of Moduli Spaces of Sheaves 2024 pdf epub mobi 電子書 下載
• 
  Brownian Motion 2024 pdf epub mobi 電子書 下載
• 
  Fundamentals of Error-Correcting Codes 2024 pdf epub mobi 電子書 下載
• 
  A First Course in String Theory 2024 pdf epub mobi 電子書 下載
• 
  Security Engineering 2024 pdf epub mobi 電子書 下載
• 
  Spinors and Space-Time 2024 pdf epub mobi 電子書 下載
• 
  Spinors and Space-Time 2024 pdf epub mobi 電子書 下載