دانلود کتاب From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
by Dominique Snyers, André Thayse (auth.)|
|
عنوان فارسی: از منطق طراحی به منطق برنامه نویسی : قضیه اثبات تکنیک ها و P- توابع |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟