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