Luca pulina u a (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Theory and Applications of Satisfiability Testing - SAT 2020 | 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings | Luca Pulina (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2020 | Springer | EAN 9783030518240 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…