Gaspers, Serge, Walsh, Toby
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, ... (Lecture Notes in Computer Science, 10491)
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 9th August 2017
- Publisher
- Springer
- ISBN-10
- 3319662627
- ISBN-13
- 9783319662626
To reserve this book you first need to set your reservation location.