Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
- 102031 Theoretische Informatik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
The 12th QBF Solvers Evaluation (QBFEVAL’19)
- Ankit Shukla (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science