Microsoft Cambridge

Armin Biere (Gast)

Institut für Formale Modelle und Verifikation

Aktivität: Sonstige › Auslandsaufenthalt (Altdaten)

Beschreibung

Cambridge, U.K., Vereinigtes Königreich

Zeitraum	15 Aug. 2011 → 19 Aug. 2011

Wissenschaftszweige

102 Informatik
101 Mathematik
102011 Formale Sprachen

JKU-Schwerpunkte

Computation in Informatics and Mathematics