Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
- 102031 Theoretische Informatik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Alpine Verification Meeting 2017
- Armin Biere (Gast)
- Katalin Fazekas (Gast)
- Seidl, M. (Gast)
- Tom Van Dijk (Gast)
Aktivität: Sonstige › Auslandsaufenthalt (Altdaten)