To path indicator
Subpages of “Personen“
To navigation
To quick access
To footer with other services
To content
Department of Computer Science
To the home page
Location & approach
Location & approach
Close Meta-Navigation
ServicePortal
UniMail
Search
Search
Search
Search
People Search
Close Meta-Navigation
Contrast
Deutsch
To the home page
Contrast
Deutsch
Search
Search
Search
Search
People Search
Close Meta-Navigation
Location & approach
Location & approach
Close Meta-Navigation
ServicePortal
UniMail
To the home page
News & Contact
News & Contact
News
Contact
Show submenu for “News & Contact“
Teaching
Teaching
Courses
Show submenu for “Courses“
Summer semester 2022
Winter semester 2021
Previous semesters
Abschlussarbeiten
Show submenu for “Teaching“
Research
Research
LogiDAC
Information Engineering
Multiple-Valued Systems
FLDIT
Mini-Workshop TCS at TuDo and RUB
Show submenu for “Research“
Team
Information for
News & Contact
Main Menu
News & Contact
News
Contact
Teaching
Main Menu
Teaching
Courses
Teaching
Courses
Summer semester 2022
Winter semester 2021
Previous semesters
Abschlussarbeiten
Research
Main Menu
Research
LogiDAC
Information Engineering
Multiple-Valued Systems
FLDIT
Mini-Workshop TCS at TuDo and RUB
Team
Part of:
Department of Computer Science
© Roland Baege/TU Dortmund
Information for:
Personen
Retired
System Administration
Office
Scientific Staff
Professors
Prof. Dr. Gabriele Kern-Isberner
Activities
Publications
You are here:
Startseite
Professors
Prof. Dr. Gabriele Kern-Isberner
LS1 - Logic in computer science
Prof. Dr. Gabriele Kern-Isberner
Activities
Publications
To top of page
