Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings (Lecture Notes in Computer Science, Band 11628)

Allgemein

Marke
Mikoláš Janota
ISBN
Mikoláš Janota 3030242579

Eigenschaften

Menü