عنوان
پدید آورنده
موضوع
رده
QA 75.5 .I38 2000
QA
75
.
5
.
I38
2000
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
وضعیت ویراست
نام نخستين ويراستار
15th: 2000 : Santa Barbara, Calif.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Los Alamitos, Calif.
نام ناشر، پخش کننده و غيره
IEEE Computer Society
تاریخ نشرو بخش و غیره
c2000
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 425 p.: ill.
يادداشت کلی
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 0769507255
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer science -- Mathematics
عنصر شناسه ای
Congresses ، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
75
.
5
.
I38
2000
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
CO Institute of Electrical and Electronics Engineers
عنصر شناسه اي
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
عنصر شناسه اي
CO Association for Symbolic Logic
عنصر شناسه اي
CO European Association for Theoretical Computer Science
عنصر شناسه اي
TI
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
IEEE Symposium on Logic in Computer Science
