登录 | 注册 | 用户 | 添加收藏 | English 

图书介绍

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.

Copyright Disclaimer:
本站一切内容源于互联网搜索，禁止商用！ 如有任何不妥请联系:admin@ebookee.com，我们将在24小时内删除相关内容。

请在图书介绍里查找下载链接，如果没有，可以试着搜索有无其它该书信息。

不能下载？
如果不能下载或者在“图书介绍”中找不到 "Foundations of Equational Logic Programming" 的下载链接请留言。下次访问本站时察看 所有留言 看是否有人已经更新了该书。

该书可能有其它下载链接，请点 这里查询相关图书。

1. Ebooks list page : 2905
2. Foundations of Equational Logic Programming
3. [share_ebook] Foundations of Inductive Logic Programming
4. Foundations of Inductive Logic Programming
5. Foundations of Logic Programming
6. [share_ebook] Foundations of Python Network Programming [ReUpload]
7. [share_ebook] Foundations of Object-Oriented Programming Using .NET 2.0 Patterns [ReUpload]
8. [share_ebook] Constraint Logic Programming using Eclipse - Krzysztof R. Apt
9. Logic Programming and Nonmonotonic Reasoning (Repost)
10. [share_ebook] Foundations of Mathematical Logic (Dover Books on Mathematics) - Haskell B. Curry
11. [share_ebook] Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan - Matthias Blume, Naoki Kobayashi, German Vidal
12. [share_ebook] Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings (Lecture � / Lecture Notes in Artificial Intelligence) - AndW.Wahlster
13. [share_ebook] Foundations of Mathematical Logic (Dover Books on Mathematics) - Haskell B. Curry
14. [share_ebook] Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan - Matthias Blume, Naoki Kobayashi, German Vidal
15. Alakananda Bhattacharya, "Parallel and Distributed Logic Programming" (Repost)
16. Constraint Logic Programming using Eclipse (repost)
17. [share_ebook] Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
18. [share_ebook] Foundations of Mathematical Logic (Dover Books on Mathematics) - Haskell B. Curry
19. [share_ebook] Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan - Matthias Blume, Naoki Kobayashi, German Vidal
20. [share_ebook] Foundations of Mathematical Logic (Dover Books on Mathematics) - Haskell B. Curry
21. [share_ebook] Principles of Logic and Logic Programming

"Foundations of Equational Logic Programming" 没有评论.

• Download Thousands of Books!
• Download millions of Usenet resources!

1. 艺术设计
2. 有声读物
3. 语言文化
4. 家庭生活
5. 法律
6. 音乐歌词
7. 软件相关
8. BT种子
9. 其它图书
10. 所有留言
12. 留言评论
13. Download Thousands of Books two weeks for FREE!
14. Download millions of Usenet resources!
15. Exam1Pass-Latest IT Certification Study Guide for IT Exams
16. Meetexams
17. 640-802
18. Needking
19. Passshope
20. 海淀驾校

• 推荐到 StumbleUpon!
• del.icio.us
• Google书签
•