Martina Seidl

Livres
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2026
Theory and Applications of Satisfiability Testing – SAT 2020 Theory and Applications of Satisfiability Testing – SAT 2020
Theory and Applications of Satisfiability Testing – SAT 2020
2020
Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018