نتایج مرتبط با این ناشر

The undecidable (2004)

نوع مدرک: متون چاپی رده‌بندی کنگره : QA9.65 .U53 2004 عنوان : The undecidable : basic papers on undecidable propositions, unsolvable problemsand computable functions تکرار نام مولف : edited by Martin Davis ناشر: New York : Dover Publication, Inc سال نشر : 2004 صفحه شمار: 413p شناسه افزوده : Davis ، Martin (1928) موضوع‌ها : اصفا Gedel's theorm. Unsolvability (Mathematical logic|) ؛ Recursive functions ؛ Turing machines ؛ Computable functions لینک ثابت رکورد: ../opac/index.php?lvl=record_display&id=11027 زبان مدرک : English

 درخواست رزرو

 فهرست موجودی مدرک

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
3205	QA9.65 .U53 2004	کتاب لاتین	کتابخانه سجاد	سایر	اسناد معمولی	موجود

 نظرهای کاربران درباره این مدرک

تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید.

رای شما : بدون امتیاز بد ضعیف خوب بسیار خوب جذاب

موضوع

شرح نظر شما