دسترسی همگانی(OPAC) نام کتابخانه در اوپک

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	کتاب لاتین	کتابخانه سجاد	سایر	اسناد معمولی	موجود