Deductive and Declarative Programming
ورود
  • سال انتشار: 1992
  • صفحات: 285
  • اندازه فایل: 6 MB
  • زبان‌: English
  • انتشارات: Cambridge University Press
  • تعداد مشاهده: 68
  • امتیاز کاربران: 4.9
  • شابک/ISBN: 0511569874
    9780521417235
    9780521032513
    0521032512
    9780511569876
    0521417236

کلمات کلیدی:

تندتک
تندتک

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

Learn More

Deductive and Declarative Programming

4.9

بر اساس نظر کاربران

Unordered تئوری و علوم کامپیوتر English
شما میتونید سوالاتتون در باره کتاب رو از هوش مصنوعیش بعد از ورود بپرسید
هر دانلود یا پرسش از هوش مصنوعی 2 امتیاز لازم دارد، برای بدست آوردن امتیاز رایگان، به صفحه ی راهنمای امتیازات سر بزنید و یک سری کار ارزشمند انجام بدین

کتاب های مرتبط:
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.

دانلود رایگان مستقیم

برای دانلود رایگان این کتاب و هزاران کتاب دیگه همین حالا عضو بشین

برای خواندن این کتاب باید نرم افزار PDF Reader را دانلود کنید Foxit Reader

ثبت نام /ورود

نویسندگان:

Author's picture placeholder
Peter Padawitz

نظرات:

4.9

بر اساس 0 نظر کاربران