tarski
تئوری و کاربردهای ساختارهای رابطه‌ای به‌عنوان ابزارهای دانش: COST Action 274, TARSKI. مقالات تجدید نظر شده
دانلود کتاب Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers (به فارسی: تئوری و کاربردهای ساختارهای رابطه‌ای به‌عنوان ابزارهای دانش: COST Action 274, TARSKI. مقالات تجدید نظر شده) نوشته شده توسط «Rudolf Berghammer – Gunther Schmidt (auth.) – Harrie de Swart – Ewa Orłowska – Gunther Schmidt – Marc Roubens (eds.)» اطلاعات کتاب تئوری و کاربردهای ساختارهای رابطه‌ای به‌عنوان ابزارهای دانش: COST Action 274, TARSKI. مقالات تجدید نظر شده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Rudolf Berghammer – Gunther Schmidt (auth.) – Harrie de Swart – Ewa Orłowska…
روش‌های رابطه‌ای در علوم رایانه: هشتمین سمینار بین‌المللی روش‌های رابطه‌ای در علوم رایانه، سومین کارگاه بین‌المللی کاربردهای جبر کلین، و کارگاه COST Action 274: TARSKI، سنت کاترینز، ON، کانادا، 22-26 فوریه 2005، انتخاب شده مقالات تجدید نظر شده
دانلود کتاب Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers (به فارسی: روش‌های رابطه‌ای در علوم رایانه: هشتمین سمینار بین‌المللی روش‌های رابطه‌ای در علوم رایانه، سومین کارگاه بین‌المللی کاربردهای جبر کلین، و کارگاه COST Action 274: TARSKI، سنت کاترینز، ON، کانادا، 22-26 فوریه 2005، انتخاب شده مقالات تجدید نظر شده) نوشته شده توسط «Georgi Dimov – Dimiter Vakarelov (auth.) – Wendy MacCaull – Michael Winter – Ivo Düntsch (eds.)»…
روش‌های رابطه‌ای در علوم کامپیوتر: ششمین کنفرانس بین‌المللی، RelMiCS 2001 و اولین کارگاه آموزشی COST Action 274 TARSKI Oisterwijk، هلند، 16-21 اکتبر 2001 مقالات تجدید نظر شده
دانلود کتاب Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers (به فارسی: روش‌های رابطه‌ای در علوم کامپیوتر: ششمین کنفرانس بین‌المللی، RelMiCS 2001 و اولین کارگاه آموزشی COST Action 274 TARSKI Oisterwijk، هلند، 16-21 اکتبر 2001 مقالات تجدید نظر شده) نوشته شده توسط «Wolfram Kahl (auth.) – Harrie C. M. de Swart (eds.)» اطلاعات کتاب روش‌های رابطه‌ای در علوم کامپیوتر: ششمین کنفرانس بین‌المللی، RelMiCS 2001 و اولین کارگاه آموزشی COST Action 274 TARSKI Oisterwijk، هلند، 16-21 اکتبر 2001 مقالات تجدید نظر شده موضوع…
پارادوکس Banach-Tarski
دانلود کتاب The Banach-Tarski paradox (به فارسی: پارادوکس Banach-Tarski) نوشته شده توسط «Stan Wagon» اطلاعات کتاب پارادوکس Banach-Tarski موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Stan Wagon زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 272 حجم کتاب: 4 مگابایت کد کتاب: 0521457041 , 9780521457040 نوبت چاپ: 1st pbk. ed توضیحات کتاب پارادوکس Banach-Tarski این جلد پیامدهای پارادوکس برای نظریه اندازه گیری و ارتباط آن با نظریه گروه، هندسه و منطق را بررسی می کند. نتایج تحقیقات معاصر در مورد پارادوکس را متحد می کند و چندین نتیجه…
پارادوکس Banach-Tarski
دانلود کتاب The Banach-Tarski Paradox (به فارسی: پارادوکس Banach-Tarski) نوشته شده توسط «Stan Wagon» اطلاعات کتاب پارادوکس Banach-Tarski موضوع اصلی: نرم افزار: سیستم ها: محاسبات علمی نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Stan Wagon زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 272 حجم کتاب: 8 مگابایت کد کتاب: 0521457041 , 9780521457040 نوبت چاپ: 1st pbk. ed توضیحات کتاب پارادوکس Banach-Tarski این جلد پیامدهای پارادوکس برای نظریه اندازه گیری و ارتباط آن با نظریه گروه، هندسه و منطق را بررسی می کند. نتایج تحقیقات معاصر در مورد پارادوکس را متحد…