Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561)
Springer International Publishing (9783319092836 / 77 black & white illustrations, biograph)
Preis von (4 Angebote)53.49 EUR
Weitere Informationen


