عنوان
پدید آورنده
موضوع
رده
QA 76.63 .I56 F45 1990
QA
76
.
63
.
I56
F45
1990
کتابخانه
محل استقرار
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
Eng
عنوان و نام پديدآور
عنوان اصلي
Fifth Annual IEEE Symposium on Logic in Computer Science, Jun 4-7, 1990, Philadelphia, PA
نام نخستين پديدآور
sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing...]et al.[
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Los Alamitos, CA.
نام ناشر، پخش کننده و غيره
IEEE Computer Society
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 509 p
يادداشت کلی
متن يادداشت
0818620730
متن يادداشت
At head of title: Proceedings
متن يادداشت
Includes bibliographical references
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic programming
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
63
.
I56
F45
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
CO IEEE Technical Committee on Mathematical Foundations of Computing
عنصر شناسه اي
TI
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
IEEE Symposium on Logic in Computer Science )5th: 1990: Philadelphia, PA(
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
