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

عنوان
Logic, language, and computation

پدید آورنده
\ [edited by] Martin Aher...[et.al]

موضوع
Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها

رده
QA
75
.
5
.
L644
2015
E-Book
,

کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی

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

کتابخانه زبانهای خارجی و منابع اسلامی

تماس با کتابخانه : 37839111

شابک

شابک
:9783662469057

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

شماره
11741

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی

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

عنوان اصلي
Logic, language, and computation
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 10th International TBILISI Symposium on Logic, Language, and Computation, TBILLC 2013, Gudauri, Georgia, September 23-27, 20113. Revised Selected Papers
نام نخستين پديدآور
\ [edited by] Martin Aher...[et.al]

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

محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015

تاریخ پیش بینی شده انتشار

تاريخ
1505

مشخصات ظاهری

نام خاص و کميت اثر
xiv,[333] p.
ساير جزييات
:ill

فروست

عنوان فروست
Lecture notes in computer science
مشخصه جلد
; 8984

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

متن يادداشت
Index
متن يادداشت
Bibliography

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

موضوع مستند نشده
Computer logic -- Congresses.
موضوع مستند نشده
Programming languages (Electronic computers) -- Semantics -- Congresses.
موضوع مستند نشده
Computational linguistics -- Congresses.
موضوع مستند نشده
منطق کامپیوتری -- کنگره ها
موضوع مستند نشده
زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها
موضوع مستند نشده
زبان‌شناسی کامپیوتری -- کنگره ها

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

شماره رده
QA
75
.
5
نشانه اثر
.
L644
2015
شماره رکورد غير از شماره رده بندي
E-Book
,

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

مستند نام اشخاص تاييد نشده
Aher, Martin

مبدا اصلی

کشور
ایران
تاريخ عمليات
20161006064222.0
قواعد فهرست نويسي ( بخش توصيفي )
rda

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

تاريخ و ساعت مذاکره و دسترسي
9783662469057.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1509/2015937955-t.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1509/2015937955-d.html

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

نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1

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

تكميل شده
Y

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

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