symposion

  • همایش منطق پاتراس: مجموعه مقالات پاتراس، 1980

    دانلود کتاب Patras logic symposion: Proceedings Patras, 1980 (به فارسی: همایش منطق پاتراس: مجموعه مقالات پاتراس، 1980) نوشته شده توسط «George Metakides» اطلاعات کتاب همایش منطق پاتراس: مجموعه مقالات پاتراس، 1980 موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science Ltd نویسنده: George Metakides زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1982 تعداد صفحه: 386 حجم کتاب: 3 مگابایت کد کتاب: 9780444864765 , 0444864768 دانلود کتاب «همایش منطق پاتراس: مجموعه مقالات پاتراس، 1980»

  • همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974

    دانلود کتاب ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974 (به فارسی: همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974) نوشته شده توسط «J. Diller – G.H. Müller» اطلاعات کتاب همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974 موضوع اصلی: سخنرانی ها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: J. Diller – G.H. Müller زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1976 تعداد صفحه: 390 حجم کتاب: 3 مگابایت کد…

  • سمپوزیوم انیشتین برلین

    دانلود کتاب Einstein Symposion Berlin (به فارسی: سمپوزیوم انیشتین برلین) نوشته شده توسط «H. Nelkowski – A. Hermann – H. Poser – R. Schrader – R. Seiler» اطلاعات کتاب سمپوزیوم انیشتین برلین موضوع اصلی: فیزیک نوع: کتاب الکترونیکی ناشر: Springer نویسنده: H. Nelkowski – A. Hermann – H. Poser – R. Schrader – R. Seiler زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1979 تعداد صفحه: 558 حجم کتاب: 3 مگابایت کد کتاب: 354009718X , 9783540097181 دانلود کتاب «سمپوزیوم انیشتین برلین»