عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9781402067815
شماره کتابشناسی ملی
شماره
42312
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Analysis and Synthesis of Logics
نام عام مواد
[Electronic book]
ساير اطلاعات عنواني
: How to Cut and Paste Reasoning Systems
نام نخستين پديدآور
\ by Walter Carnielli...[et.al]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2008
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 600 p
ساير جزييات
:ill
فروست
عنوان فروست
Applied logic series
مشخصه جلد
; v.35
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
منطق ریاضی
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Carnielli, Walter Alexandre
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9781402067815.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
278840
پیشوند ISBD اعمال شده است
1
