عنوان
پدید آورنده
موضوع
رده
QA75.5 .L43 2013
QA75
.
5
.
L43
2013
کتابخانه
محل استقرار
شابک
شابک
3642357229 (electronic bk.)
شابک
9783642357220 (electronic bk.)
شابک اشتباه
9783642357213
شماره کتابشناسی ملی
شماره
b434935
عنوان و نام پديدآور
عنوان اصلي
Logical foundations of computer science
نام عام مواد
[Book]
ساير اطلاعات عنواني
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
نام نخستين پديدآور
Sergei Artemov, Anil Nerode (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2013
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
7734
شاپا ي ISSN فروست
0302-9743 ;
يادداشت کلی
متن يادداشت
Includes author index
متن يادداشت
International conference proceedings
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
LFCS 2013
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer logic, Congresses
موضوع مستند نشده
Computer science, Congresses
رده بندی ديویی
شماره
004
ويراست
23
رده بندی کنگره
شماره رده
QA75
.
5
شماره رده
QA75
.
5
نشانه اثر
.
L43
2013
نشانه اثر
.
L43
2013
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Artemov, S. N
مستند نام اشخاص تاييد نشده
Nerode, Anil,1932-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
LFCS 2013(2013 :, San Diego, Calif.)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network
مبدا اصلی
تاريخ عمليات
20130304114718.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
