عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L64 2009
QA
75
.
5
.
L64
2009
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
electronic
عنوان و نام پديدآور
نام نخستين پديدآور
LFCS 9002)9002 :Deerfield Beach, Fla.(
عنوان اصلي
Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2009
مشخصات ظاهری
نام خاص و کميت اثر
xi, 467 p. :ill. ;24 cm
فروست
عنوان فروست
Lecture notes in computer science,2030-3479 ;7045
يادداشت کلی
متن يادداشت
ISBN: 9783540926 3540926860
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Sergei Artemov, Anil Nerode )eds.(
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer science Congresses
عنصر شناسه ای
، Logic, Symbolic and mathematical Congresses
رده بندی کنگره
شماره رده
QA
75
.
5
.
L64
2009
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Artemov, S. N.
عنصر شناسه اي
AU Nerode, Anil 1932-
عنصر شناسه اي
SE Lecture notes in computer science ;5407
عنصر شناسه اي
TI
