عنوان
پدید آورنده
موضوع
رده
QA76,.7 .E43 2010
QA76
,.
7
.
E43
2010
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
999363
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Computational Semantics with Functional Programming
نام عام مواد
[Book]
نام نخستين پديدآور
/ Jan Van Eijck and Christina Unger
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge; New York
نام ناشر، پخش کننده و غيره
: Cambridge University Press
تاریخ نشرو بخش و غیره
, 2010
مشخصات ظاهری
نام خاص و کميت اثر
xv, 405 p.
ساير جزييات
: ill.
يادداشت کلی
متن يادداشت
The E.Book format of This Book is avalable
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
یادداشتهای مربوط به نمایه ها، چکیده ها و منابع اثر
يادداشت هاي مربوط به نمايه ها، چکيده ها و منابع
Index
یادداشتهای مربوط به مندرجات
متن يادداشت
Formal study of natural language.- Lambda calculus, types, and functional programming.- Functional programming with Haskel.- Formal syntax for fragment.- Formal semantics for fragments.- Model checking with predicate logic.- The composition of meaning in natural languag.- Extension and intensio.- Parsin.- Handling relations and scoping.- Continuation passing style semantics.- Discourse representation and contex.- Communication as informative action
بدون عنوان
0
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programming languages (Electronic computers) -- Semantics
موضوع مستند نشده
Functional programming (Computer science)
موضوع مستند نشده
Haskell (Computer program language)
موضوع مستند نشده
زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی
موضوع مستند نشده
زبان های برنامه نویسی تابعی (علوم کامپیوتر)
موضوع مستند نشده
هسکل (زبان برنامه نویسی کامپیوتر)
رده بندی کنگره
شماره رده
QA76
,.
7
نشانه اثر
.
E43
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Eijck, Jan Van
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Unger, Christina
مبدا اصلی
کشور
ایران
سازمان
Library of Foreign Languages and Islamic resource
تاريخ عمليات
20190609
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
270410
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
