Organisation Tutorial

Armin Biere (Sonstige)

Institut für Formale Modelle und Verifikation

Aktivität: Sonstige

Zeitraum	23 Jän. 2011 → 05 Feb. 2011

Wissenschaftszweige

102 Informatik
101 Mathematik
102011 Formale Sprachen

JKU-Schwerpunkte

Computation in Informatics and Mathematics