عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .S9574a
QA
75
.
5
.
S9574a
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
136405
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۳۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Washington, D.C.
نام ناشر، پخش کننده و غيره
IEEE Computer Society Press
تاریخ نشرو بخش و غیره
1986-
مشخصات ظاهری
نام خاص و کميت اثر
v.: ill.; 28 cm
يادداشت کلی
متن يادداشت
Published: Los Alamitos, CA, 1990-
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer science
عنصر شناسه ای
Congresses ، Computer programming
عنصر شناسه ای
Congresses ، Logic, Symbolic and mathematical
عنصر شناسه ای
Correctness ، Computer programs
رده بندی کنگره
شماره رده
QA
75
.
5
.
S9574a
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Symposium on Logic in Computer Science
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
عنصر شناسه اي
CO Association for Symbolic Logic
عنصر شناسه اي
CO ACM Special Interest Group for Automata and Computability Theory
عنصر شناسه اي
CO European Association for Theoretical Computer Science
عنصر شناسه اي
TI
شناسه افزوده (تنالگان)
عنصر شناسه اي
Symposium on Logic in Computer Science
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
