Habilitation Le Berre

Armin Biere (Gast)

Institut für Formale Modelle und Verifikation

Aktivität: Sonstige › Auslandsaufenthalt (Altdaten)

Beschreibung

Paris, Université d'Artois, Frankreich

Zeitraum	02 Dez. 2010 → 04 Dez. 2010

Wissenschaftszweige

102 Informatik
101 Mathematik
102011 Formale Sprachen

JKU-Schwerpunkte

Computation in Informatics and Mathematics