نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
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.[
موضوع
، Logic programming,، Logic, Symbolic and mathematical
رده
QA
76
.
63
.
I56
F45
1990
کتابخانه
کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان
محل استقرار
استان:
کرمان
ـ شهر:
كرمان
تماس با کتابخانه :
03431623000
مشاهده در قفسه مجازی
PlainText
RIS
Bibtex
ISO
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
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(
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد