• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Constraint satisfaction in logic programming

پدید آورنده
/ Pascal Van Hentenryck,Van Hentenryck

موضوع
Logic programming

رده
QA
76
.
6
.
V347
1989

کتابخانه
کتابخانه مرکزی و مرکز اسناد دانشگاه تهران

محل استقرار
استان: تهران ـ شهر: تهران

کتابخانه مرکزی و مرکز اسناد دانشگاه تهران

تماس با کتابخانه : 66466179-61112362-021

شابک

شابک
0-262-08181-4

شماره کتابشناسی ملی

کد کشور
IR
شماره
123318

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

کشور محل نشر یا تولید

کشور محل نشر
IR

عنوان و نام پديدآور

عنوان اصلي
Constraint satisfaction in logic programming
نام عام مواد
[Book]
نام نخستين پديدآور
/ Pascal Van Hentenryck

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
: The MIT Press
تاریخ نشرو بخش و غیره
, 1989

مشخصات ظاهری

نام خاص و کميت اثر
xvi, 224 p.
ابعاد
; 23 cm

فروست

عنوان فروست
Logic programming

يادداشت کلی

متن يادداشت
انگليسي

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliohraphical references (p. 211 - 220) and index

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Logic programming

رده بندی کنگره

شماره رده
QA
76
.
6
نشانه اثر
.
V347
1989

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

عنصر شناسه اي
Van Hentenryck
ساير عناصر نام
, Pascal
کد نقش
, author

مبدا اصلی

کشور
Iran
سازمان
Central Library Of Tehran University

وضعیت فهرست نویسی

وضعیت فهرست نویسی
Old cataloging

اطلاعات رکورد کتابشناسی

نوع ماده
BL
پیشوند ISBD اعمال شده است
1

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال