siekmann

مکانیزه کردن استدلال ریاضی: مقالاتی به افتخار یورگ اچ سیکمن به مناسبت شصتمین سالگرد تولد او

دانلود کتاب Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (به فارسی: مکانیزه کردن استدلال ریاضی: مقالاتی به افتخار یورگ اچ سیکمن به مناسبت شصتمین سالگرد تولد او) نوشته شده توسط «Dieter Hutter – Werner Stephan (auth.) – Dieter Hutter – Werner Stephan (eds.)» اطلاعات کتاب مکانیزه کردن استدلال ریاضی: مقالاتی به افتخار یورگ اچ سیکمن به مناسبت شصتمین سالگرد تولد او موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Dieter Hutter – Werner Stephan (auth.) – Dieter Hutter – Werner Stephan (eds.) زبان: English فرمت کتاب: pdf…