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

 درخواست رزرو

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

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
3181	QA76.9 .F67K38 2000	کتاب لاتین	کتابخانه سجاد	سایر	اسناد معمولی	موجود

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

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

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

موضوع

شرح نظر شما