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

عنوان
From Logic Design to Logic Programming:

پدید آورنده
D Snyers

موضوع
Computer logic.,Computer programming.,Computer science.

رده
QA76
.
9
.
A96
D769
1987

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

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

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3540182179
شابک
3540478116
شابک
9783540182177
شابک
9783540478119

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

شماره
b566242

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

عنوان اصلي
From Logic Design to Logic Programming:
نام عام مواد
[Book]
ساير اطلاعات عنواني
Theorem Proving Techniques and P-Functions.
نام نخستين پديدآور
D Snyers

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

محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1987

مشخصات ظاهری

نام خاص و کميت اثر
(IV, 125 pages)

فروست

عنوان فروست
Lecture notes in computer science, 271.

یادداشتهای مربوط به مندرجات

متن يادداشت
Theorem in proving and P-functions --; Grammars, logics and declarative programming --; Grammars and Semantics.

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

موضوع مستند نشده
Computer logic.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Computer science.

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

شماره رده
QA76
.
9
.
A96
نشانه اثر
D769
1987

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

مستند نام اشخاص تاييد نشده
D Snyers

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

مستند نام اشخاص تاييد نشده
A Thayse
مستند نام اشخاص تاييد نشده
D Snyers

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

نام الکترونيکي
 مطالعه متن کتاب 

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

نوع ماده
[Book]

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

تكميل شده
Y

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

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