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

عنوان
Mathematical aspects of logic programming semantics

پدید آورنده
/ Pascal Hitzler, Anthony Seda

موضوع
Logic programming,Programming languages (Electronic computers),-- Semantics

رده
005
.
115
H676M
2011

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

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

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

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

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

شماره
281987

زبان اثر

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

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

کشور محل نشر
IR

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

عنوان اصلي
Mathematical aspects of logic programming semantics
نام عام مواد
[book]
نام نخستين پديدآور
/ Pascal Hitzler, Anthony Seda

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

محل نشرو پخش و غیره
Boca Raton, FL
نام ناشر، پخش کننده و غيره
: CRC Press
تاریخ نشرو بخش و غیره
، 2011

مشخصات ظاهری

نام خاص و کميت اثر
xxx, 274 p

فروست

عنوان فروست
Chapman & Hall/CRC studies in informatics series

يادداشت کلی

متن يادداشت
Includes bibliographical references (p. 243-264) and index

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

عنصر شناسه ای
Logic programming
عنصر شناسه ای
Programming languages (Electronic computers)
تقسیم فرعی موضوعی
-- Semantics

رده بندی ديویی

شماره
005
.
115
H676M
2011

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

شماره رده
QA76
.
63
.
H58
2011

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

عنصر شناسه اي
Seda, Anthony
عنصر شناسه اي
Hitzler, Pascal
کد نقش
creator
کد نقش
author

مبدا اصلی

کشور
ایران

شماره دستیابی

شماره بازیابی
QA76.63 .H58 2011

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

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

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

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

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

تكميل شده
Y

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

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