Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101 Mathematik
- 102031 Theoretische Informatik
- 101005 Computeralgebra
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
- TNF Allgemein
Symmetries for Quantified Boolean Formulas
- Kauers, M. (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science