Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
Link wird in einem neuen Tab geöffnet
English
Deutsch
Inhalt suchen unter JKU & KUK Forschungsportal
Home
Forschungseinheiten
Personen
Publikationen
Projekte
Aktivitäten
Forschungsdatensätze
Auszeichnungen
Presseberichte
Scientific Review MPI for Informatics
Armin Biere (Gutachter*in)
Institut für Formale Modelle und Verifikation
Aktivität
:
Gutachtertätigkeiten
›
Andere Gutachtertätigkeit
Zeitraum
27 Mai 2019
→
30 Mai 2019
Arbeit für
unbekannt/unknown
Wissenschaftszweige
202006 Computer Hardware
603109 Logik
102 Informatik
102031 Theoretische Informatik
102011 Formale Sprachen
102022 Softwareentwicklung
102001 Artificial Intelligence