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
Research Visit Prof. Dr. Armin Biere
Armin Biere (Gastgeber*in)
Seidl, M.
(Gastgeber*in)
Zhengqi Yu (Gastgeber*in)
LIT Artificial Intelligence Lab
Institut für Formale Modelle und Verifikation
Aktivität
:
Sonstige
›
Aufenthalt an der JKU (Altdaten)
Beschreibung
Research Visit mainly for the Defense of Emily Yu-Zhengqi
Zeitraum
24 Aug. 2023
→
26 Aug. 2023
Wissenschaftszweige
202006 Computer Hardware
603109 Logik
102 Informatik
102031 Theoretische Informatik
102011 Formale Sprachen
102022 Softwareentwicklung
102001 Artificial Intelligence