provers

The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات

دانلود کتاب The Seventeen Provers of the World: Foreword by Dana S. Scott (به فارسی: The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات) نوشته شده توسط «Freek Wiedijk (auth.) – Freek Wiedijk (eds.)» اطلاعات کتاب The Seventeen Provers of the World: پیش گفتار توسط دانا اس. اسکات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Freek Wiedijk (auth.) – Freek Wiedijk (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 162 حجم کتاب: 2 مگابایت کد کتاب: 9783540307044 نوبت چاپ: 1 توضیحات کتاب The Seventeen…