عنوان
پدید آورنده
موضوع
رده
QA75.5 L479 1995
QA75
.
5
L479
1995
کتابخانه
محل استقرار
شابک
شابک
3540600175
شابک
9783540600176
شماره کتابشناسی ملی
شماره
b558275
عنوان و نام پديدآور
عنوان اصلي
Computer science logic :
نام عام مواد
[Book]
ساير اطلاعات عنواني
8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
نام نخستين پديدآور
Leszek Pacholski, Jerzy Tiuryn ( Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin [etc.]
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1995.
مشخصات ظاهری
نام خاص و کميت اثر
IX, 543 p. 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 933.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Congressi - Kazimierz - 1994.
موضوع مستند نشده
Elaborazione elettronica dei dati - Congressi - 1994.
موضوع مستند نشده
Logica matematica e simbolica - Congressi - 1994.
رده بندی کنگره
شماره رده
QA75
.
5
نشانه اثر
L479
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Leszek Pacholski, Jerzy Tiuryn ( Eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
European association for computer science.
مستند نام اشخاص تاييد نشده
Jerzy Tiuryn
مستند نام اشخاص تاييد نشده
Leszek Pacholski
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
