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
The QBF Gallery 2014
C. Jordan (Vortragende*r)
Institut für Formale Modelle und Verifikation
Aktivität
:
Vortrag oder Präsentation
›
Eingeladener Vortrag
›
unbekannt
Zeitraum
17 Juli 2014
Ereignistitel
17th International Conference on Theory and Applications of Satisfiability Testing
Veranstaltungstyp
Konferenz
Ort
Österreich
Auf Karte anzeigen
Wissenschaftszweige
202006 Computer Hardware
603109 Logik
102 Informatik
JKU-Schwerpunkte
Computation in Informatics and Mathematics