نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد