کلمه عبورتان را فراموش کردهاید؟
درخواست عضویت
Computer-aided reasoning (c2000) / Kaufmann ، Matt، نویسنده نوع مدرک:متون چاپیسرشناسهKaufmann ، Matt، نویسندهردهبندی کنگره :QA76.9 .F67K38 2000عنوان :Computer-aided reasoning : an approachتکرار نام مولف :by Matt Kaufmann, Panagiotis Manolios, J Strother Mooreناشر:Boston : Kluwer Academic Publishersسال نشر :c2000فروست :Advances in formal methods ; 3 صفحه شمار:xv, 270 p. ; 25 cmشابک/شاپا0792377443 (alk. paper)یادداشتIncludes bibliographical references (p. [257]-259) and indexشناسه افزوده :Moore J Strother (1947) Manolios ، Panagiotisموضوع‌ها :اصفاFormal methods (Computer science) ؛ Sotware engineering ؛ Expert systems (Computer science)لینک ثابت رکورد:../opac/index.php?lvl=record_display&id=11189زبان مدرک :English درخواست رزرو فهرست موجودی مدرک شماره ثبتشماره بازیابینام عام موادمحل نگهداریبخشوضعیت ثبتوضعیت امانت3181QA76.9 .F67K38 2000 کتاب لاتینکتابخانه سجادسایراسناد معمولیموجود نظرهای کاربران درباره این مدرک تعداد نظرات کاربران :0 . برای افزودن نظر خود کلیک نمایید. رای شما : بدون امتیاز بد ضعیف خوب بسیار خوب جذاب موضوع شرح نظر شما
