معرفی
Norbert Fuchs is a former Visiting Professor at the Technische Universität Dresden, affiliated with the Faculty of Computer Science and the International Center for Computational Logic (ICCL). His research focuses on computational logic, formal methods, and theoretical computer science, with applications in artificial intelligence and automated reasoning.
While no specific publications, students, or awards are listed in the provided texts, his affiliation with ICCL indicates active involvement in foundational research within computational logic. No grants or lab-specific details are explicitly mentioned.
۰مقاله منتشرشده
Norbert Fuchs در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Maria Paola BonacinaDresden University of Technology · استاد مهمان- DDavid TomanDresden University of Technology · پژوهشگر
Andrei VoronkovDresden University of Technology · استاد مهمان- RRajeev GoréDresden University of Technology · استاد مهمان
Sergei KuznetsovDresden University of Technology · استاد مهمان- CChunping LiDresden University of Technology · پژوهشگر