دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th
دانلود کتاب اثبات قضیه منطق مرتبه عالی و کاربردهای آن: هشتمین کارگاه بین المللی، آسپن گرو، UT، ایالات متحده آمریکا، 11 - 14 سپتامبر 1995. مجموعه مقالات: ... هشتم
مشخصات کتاب
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: E. Thomas Schubert, Phillip J. Windley, James Alves-Foss سری: Lecture Notes in Computer Science 0971 ISBN (شابک) : 3540602755, 9783540602750 ناشر: Springer سال نشر: 1995 تعداد صفحات: 409 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات قضیه منطق مرتبه عالی و کاربردهای آن: هشتمین کارگاه بین المللی، آسپن گرو، UT، ایالات متحده آمریکا، 11 - 14 سپتامبر 1995. مجموعه مقالات: ... هشتم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Human-Computer Interaction: Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings ... in Information and Communication Technology)
دانلود کتاب Carbon for Energy Storage and Environment Protection. The 2nd International Conference
دانلود کتاب Network and Operating Systems Support for Digital Audio and Video: 5th International Workshop, NOSSDAV '95 Durham, New Hampshire, USA, April 19–21, 1995 Proceedings
دانلود کتاب Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology Schärding, Austria, May 24–27, 1988 Selected Contributions
دانلود کتاب symposium
دانلود کتاب Computer Aided Systems Theory — EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings
دانلود کتاب Building Forums With Vbulletin
دانلود کتاب Analytic Number Theory: Proceedings of the Japanese-French Symposium held in Tokyo, Japan, October 10–13, 1988
دانلود کتاب Nouvelles conferences sur la psychanalyse
