Fields of science
- 102 Computer Sciences
- 101 Mathematics
- 102011 Formal languages
JKU Focus areas
- Computation in Informatics and Mathematics
Journal on Satisfiability, Boolean Modeling and Computation (Journal or book series)
- Armin Biere (Editor)
Activity: Publication peer-review and editorial work › Editorial work