فرانز بادر
فرانز بادر (بالإنجليزية: Franz Baader) (من مواليد 15 يونيو- 1959 من شبالت) وهو عالم حاسوب في جامعة دريسدن التقنية.[8][9][10]
| فرانز بادر | |
|---|---|
| (بالألمانية: Franz Baader) | |
| معلومات شخصية | |
| الميلاد | 15 يونيو 1959 (65 سنة) شبالت |
| مواطنة |  ألمانيا |
| عضو في | أكاديمية أوروبيا[1][2] |
| الحياة العملية | |
| المدرسة الأم | جامعة إرلنغن نورنبيرغ (الشهادة:دكتوراه) (1985–1989)[3] جامعة إرلنغن نورنبيرغ (التخصص:علم الحاسوب) (الشهادة:دبلوم) (1980–1985)[3] |
| شهادة جامعية | دكتوراه |
| طلاب الدكتوراه | أولريك ساتلر |
| المهنة | عالم حاسوب[3][4]، وأستاذ جامعي[3]، وباحث[3] |
| اللغات | الألمانية، والإنجليزية[5] |
| مجال العمل | المنطق في علوم الحاسب[6]، وتمثيل المعرفة[6]، والمنطق التوصيفي [6]، ونظرية التشغيل الذاتي[6]، وعلم الحاسوب[4] |
| موظف في | جامعة دريسدن التقنية[3] |
| الجوائز | |
جائزة هيربراند (2020)[7] |
|
تعديل مصدري - تعديل  | |
حصل على درجة الدكتوراه في علوم الكمبيوتر في عام 1989 من جامعة إرلنغن نورنبيرغ، ألمانيا،[11] حيث كان مساعداً في التدريس والأبحاث لمدة 4 سنوات. في عام 1989، ذهب إلى المركز الألماني لأبحاث الذكاء الاصطناعي (DFKI) كباحث بارز ومدير مشروع.
في عام 1993 أصبح أستاذاً مساعدا لعلوم الكمبيوتر في الجامعة التقنية الراينية الفستفالية RWTH، وفي عام 2002 أصبح أستاذ كامل لعلوم الكمبيوتر في جامعة دريسدن التقنية.[12]
أعماله عدل
- فرانز بادر، توبياس نيبكو ، (1998)صحافة جامعة كامبرج.
- Franz Baader، المحرر (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN:978-0-521-78176-3. مؤرشف من الأصل في 2020-01-25.
- Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. 2005. ISBN:978-3-540-25236-8. مؤرشف من الأصل في 2020-01-25.
{{استشهاد بكتاب}}: الوسيط غير المعروف|المحررين=تم تجاهله (مساعدة)
مراجع عدل
- ^ https://www.ae-info.org/ae/Member/Baader_Franz. اطلع عليه بتاريخ 2019-03-20.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ https://www.ae-info.org/ae/User/Baader_Franz.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ أ ب ت "Franz Baader - Curriculum vitae" (بالإنجليزية). Academia Europaea. Retrieved 2019-03-20.
- ^ أ ب https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan. اطلع عليه بتاريخ 2020-05-11.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ الفهرس الرقمي ومشروع المكتبة، QID:Q1224715
- ^ . أكاديمية أوروبيا https://www.ae-info.org/ae/Member/Baader_Franz. اطلع عليه بتاريخ 2019-03-20.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ http://www.cadeinc.org/Herbrand-Award. اطلع عليه بتاريخ 2020-11-12.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page نسخة محفوظة 2016-11-04 على موقع واي باك مشين.
- ^ فرانز بادر منشورات مفهرسة من قبل جوجل سكولار
- ^ Franz Baader at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server
- ^ فرانز بادر في شجرة علماء الرياضيات
- ^ "Archived copy". مؤرشف من الأصل في 2011-07-19. اطلع عليه بتاريخ 2010-02-25.
{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link)
