دانلود کتاب Finite model theory and its applications

49,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 447
حجم فایل 3 مگابایت
کد کتاب 3540004289,9783540004288
نوبت چاپ 1

دانلود کتاب Finite Model Theory and Its Applications

49,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 447
حجم فایل 4 مگابایت
کد کتاب 3540004289,9783540004288

دانلود کتاب Finite Model Theory and Its Applications

49,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 447
حجم فایل 4 مگابایت
کد کتاب 3540004289,9783540004288

دانلود کتاب Finite Model Theory and Its Applications

49,000 تومان
نظریه مدل محدود و کاربردهای آن
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 452
حجم فایل 4 مگابایت
کد کتاب 3540004289,9783540004288

دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

49,000 تومان
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: دهمین کنفرانس بین المللی، LPAR 2003، آلماتی، قزاقستان، 22-26 سپتامبر 2003. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 436
حجم فایل 4 مگابایت
کد کتاب 3540201017,9783540201014
نوبت چاپ 1

دانلود کتاب Reasoning About Knowledge

49,000 تومان
استدلال درباره دانش
نوع کالا کتاب الکترونیکی
ناشر The MIT Press
تعداد صفحه 533
حجم فایل 5 مگابایت
کد کتاب 9780262562003,0262562006
نوبت چاپ اولین نسخه چاپ شومیز MIT

دانلود کتاب Reasoning About Knowledge

49,000 تومان
استدلال درباره دانش
نوع کالا کتاب الکترونیکی
ناشر MIT Press
تعداد صفحه 533
حجم فایل 5 مگابایت
کد کتاب 9780262562003,0262562006
نوبت چاپ اولین نسخه چاپ شومیز MIT