کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
432637 | 688997 | 2014 | 9 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Gunther Schmidt's life as a mathematician and computer scientist
ترجمه فارسی عنوان
زندگی گونتری اشمیت به عنوان یک دانشمند ریاضی دان و کامپیوتر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We provide a synopsis of Gunther Schmidt's academic life, ranging from his early days as a student at the Georg-Augustus-Universität Göttingen and the Ludwig-Maximilians-Universität München over his period at the Technische Universität München to his time at the Universität der Bundeswehr München. We also highlight his efforts in providing machine support for mathematical reasoning with relations and for program development, his activities concerning collaborations and projects, and finally some of Gunther's interests beside work and science.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 83, Issue 2, March 2014, Pages 300–308
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 83, Issue 2, March 2014, Pages 300–308
نویسندگان
Rudolf Berghammer, Michael Winter,