Deductive and Declarative Programming
  • Published Year: 1992
  • Page count: 285
  • File Size: 6 MB
  • Language: English
  • Published by: Cambridge University Press
  • Visited by: 55
  • Rating/Review: 4.9
  • ISBN: 0511569874
    9780521417235
    9780521032513
    0521032512
    9780511569876
    0521417236

Keywords:

تندتک
تندتک

در این کانال تلگرام، مسعود بیگی، تجربیات خود را از دنیای تکنولوژی، استارتاپ، کارآفرینی و مدیریت فنی با شما به اشتراک می گذارد

Learn More

Deductive and Declarative Programming

4.9

Reviews from our users

Unordered Computer Science and Theory English
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)

For read this book you need PDF Reader Software like Foxit Reader

Register /Login

Reviews:

4.9

Based on 0 users review