عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 S94 1994
QA
76
.
9
.
M35
S94
1994
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
CE O
عنوان و نام پديدآور
عنوان اصلي
Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Los Alamitos, Calif.
نام ناشر، پخش کننده و غيره
IEEE Computer Society Press
تاریخ نشرو بخش و غیره
1994
مشخصات ظاهری
نام خاص و کميت اثر
xii, 517 p. : ill
يادداشت کلی
متن يادداشت
Cover title; 1994 IEEE 9th Annual Symposium on Logic in Computer Science
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science - Mathematics - Congresses
عنصر شناسه ای
Logic, Symbolic and mathematical - Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
M35
S94
شماره رکورد غير از شماره رده بندي
1994
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
شناسه افزوده (تنالگان)
عنصر شناسه اي
Symposium on Logic in Computer Science, )9th : 1994 : Paris, France(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
Englis
