Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
- 102031 Theoretische Informatik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
Journal on Satisfiability, Boolean Modeling and Computations: Special volume on SAT 2018 Competitions and Evaluations (Fachzeitschrift oder Schriftenreihe)
- Luca Pulina (Herausgeber*in)
- Seidl, M. (Herausgeber*in)
Aktivität: Begutachtung von Publikationen und Herausgebertätigkeiten › Herausgebertätigkeit