- Published Year: 1992
- Page count: 285
- File Size: 6 MB
- Language: English
- Published by: Cambridge University Press
- Visited by: 41
- Rating/Review: 4.9
-
ISBN:
0511569874
9780521417235
9780521032513
0521032512
9780511569876
0521417236
Keywords:
تندتک
در این کانال تلگرام، مسعود بیگی، تجربیات خود را از دنیای تکنولوژی، استارتاپ، کارآفرینی و مدیریت فنی با شما به اشتراک می گذارد
Learn MoreDeductive and Declarative Programming
4.9
Reviews from our users
You Can Ask your questions from this book's AI after Login
Each download or ask from book AI costs 2 points. To earn more free points, please visit the Points Guide Page and complete some valuable actions.Related Refrences:
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
Free Direct Download
Get Free Access to Download this and other Thousands of Books (Join Now)
