دانلود فایل منبع Proceedings 1992 Int. Workshop on Mathematics Mechanization
. این منبع (کتاب) توسط Wu Wen-Tsun, Cheng Min-De. (eds.) نوشته شده و
است و منتشر شده در سال 1992 می باشد
توجه: فایل درخواستی حداکثر 8 ساعت بعد ارسال خواهد شد.
شماره کارت : 6219861916238230 شماره حساب : 611828005241724801 شناسه شبا (انتقال پایا) : IR270560611828005241724801 بلوبانک سامان به نام مهدی تاج دینی