عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9781402067815 (hbk. : alk. paper)
شابک
140206781X (hbk.)
شابک
1402067828 (ebk.)
شابک
9781402067822 (ebk.)
شماره کتابشناسی ملی
شماره
GBA788563
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
لاتين
زبان متن نوشتاري يا گفتاري و مانند آن
انگليسي
عنوان و نام پديدآور
عنوان اصلي
Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2008.
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 600 p. :ill. ;25 cm.
فروست
عنوان فروست
Applied logic series ;
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 559-578) and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical.
رده بندی کنگره
شماره رده
QA
9
.
A634
2008
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Carnielli, Walter A.
