Vorlage:Navigation Forschungsgruppen

Make a menu for the left-side navigation on Forschungsgruppen and related pages. Usage:

{{Navigation Forschungsgruppen}}

Example:

Gruppen

• Algebra und Diskrete Strukturen
• Automatentheorie
• Computational Logic
• Knowledge-aware Artificial Intelligence
• Logische Programmierung und Argumentation
• Verifikation und formale quantitative Analyse
• Wissensbasierte Systeme