Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

FERPModels: A Certification Framework for Expansion-Based QBF Solving

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science

Zeitraum14 Sep. 2022
Ereignistitelunbekannt/unknown
VeranstaltungstypKonferenz
OrtÖsterreichAuf Karte anzeigen

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102030 Semantische Technologien
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence

JKU-Schwerpunkte

  • Digital Transformation