نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Logic for computer scientists /
پدید آورنده
Uwe Schöning.
موضوع
Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده
QA9
.
S363
1989
کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
شابک
شابک
0817634533
شابک
3764334533
شابک
9780817634537
شابک
9783764334536
شماره کتابشناسی ملی
شماره
b760692
عنوان و نام پديدآور
عنوان اصلي
Logic for computer scientists /
نام عام مواد
[Book]
نام نخستين پديدآور
Uwe Schöning.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston :
نام ناشر، پخش کننده و غيره
Birkhäuser,
تاریخ نشرو بخش و غیره
1989.
مشخصات ظاهری
نام خاص و کميت اثر
166 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm.
فروست
عنوان فروست
Progress in computer science and applied logic ;
مشخصه جلد
v. 8
يادداشت کلی
متن يادداشت
Translation of: Logik für Informatiker.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 155-159).
عنوان قراردادی
عنوان قراردادي
Logik für Informatiker.
زبان(وقتي جزئي از عنوان قراردادي باشد)
English
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
logique.
موضوع مستند نشده
programmation en logique.
موضوع مستند نشده
Logique symbolique et mathématique.
موضوع مستند نشده
Programmation logique.
موضوع مستند نشده
31.80 applications of mathematics.
موضوع مستند نشده
Datenverarbeitung
موضوع مستند نشده
Informatik
موضوع مستند نشده
Logic programming.
موضوع مستند نشده
Logic programming.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logik
موضوع مستند نشده
Logique symbolique et mathématique.
موضوع مستند نشده
Logische Programmierung
موضوع مستند نشده
Programmation logique.
رده بندی ديویی
شماره
511
.
3
ويراست
20
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
S363
1989
سایر رده بندی ها
شماره رده
*
03-01
شماره رده
03B05
شماره رده
03B10
شماره رده
03B35
شماره رده
28
شماره رده
31
.
10
شماره رده
31
.
80
شماره رده
54
.
10
شماره رده
68-01
شماره رده
68N17
شماره رده
68Q55
شماره رده
68Q60
شماره رده
68T15
شماره رده
SK
130
شماره رده
SS
5110
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
sdnb
کد سيستم
bcl
کد سيستم
bcl
کد سيستم
bcl
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
rvk
کد سيستم
rvk
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Schöning, Uwe,1955-
مبدا اصلی
تاريخ عمليات
20201204202306.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب
اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد