نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Logic and its applications
پدید آورنده
Burke, Edmund
موضوع
Logic programming , Logic, Symbolic and mathematical
رده
QA
76
.
63
.
B87
1996
کتابخانه
کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
اطلاعات محلی رکورد
نوع مدرک
CE H1 O1
عنوان و نام پديدآور
نام نخستين پديدآور
Burke, Edmund
عنوان اصلي
Logic and its applications
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Prentice Hall
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 310 p. : ill
فروست
عنوان فروست
Prentice-Hall international series in computer science
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic programming
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
63
شماره رکورد رده بندي
.
B87
شماره رکورد غير از شماره رده بندي
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Edmund Burke and Eric Foxley
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد