• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Categories in computer science and logic :

پدید آورنده
John W. Gray and Andre Scedrov, editors.

موضوع
Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.

رده
QA76
.
9
.
M35
A47
1987

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
0821851004
شابک
9780821851005

شماره کتابشناسی ملی

شماره
b736853

عنوان و نام پديدآور

عنوان اصلي
Categories in computer science and logic :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
نام نخستين پديدآور
John W. Gray and Andre Scedrov, editors.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Providence, R.I. :
نام ناشر، پخش کننده و غيره
American Mathematical Society,
تاریخ نشرو بخش و غیره
©1989.

مشخصات ظاهری

نام خاص و کميت اثر
x, 382 pages :
ساير جزييات
illustrations ;
ابعاد
26 cm.

فروست

عنوان فروست
Contemporary mathematics,
مشخصه جلد
v. 92
شاپا ي ISSN فروست
0271-4132 ;

يادداشت کلی

متن يادداشت
"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation"--Title page verso.

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliographical references.

ویراست دیگر از اثر در قالب دیگر رسانه

عنوان
Categories in computer science and logic.

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Categories (Mathematics), Congresses.
موضوع مستند نشده
Computer science-- Mathematics, Congresses.
موضوع مستند نشده
Catégories (Mathématiques), Congrès.
موضوع مستند نشده
Informatique-- Mathématiques, Congrès.
موضوع مستند نشده
Categories (Mathematics)
موضوع مستند نشده
Catégories (Mathématiques)-- Congrès.
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Informatique-- Mathématiques-- Congrès.

رده بندی ديویی

شماره
004/
.
01/5
ويراست
20

رده بندی کنگره

شماره رده
QA76
.
9
.
M35
نشانه اثر
A47
1987

سایر رده بندی ها

شماره رده
*
00B25
شماره رده
03-06
شماره رده
18-06
شماره رده
31
.
10
شماره رده
31
.
27
شماره رده
31
.
80
شماره رده
54
.
53
شماره رده
68-06
کد سيستم
msc
کد سيستم
msc
کد سيستم
msc
کد سيستم
bcl
کد سيستم
bcl
کد سيستم
bcl
کد سيستم
bcl
کد سيستم
msc

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Gray, John W., (John Walker),1931-
مستند نام اشخاص تاييد نشده
Ščedrov, Andrej,1955-

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام تنالگان تاييد نشده
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic(1987 :, University of Colorado, Boulder)

نام تنالگان _ (مسئولیت معنوی برابر)

مستند نام تنالگان تاييد نشده
National Science Foundation (U.S.)

مبدا اصلی

تاريخ عمليات
20201203210033.0

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال