Carsten Sinz - 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)

Brand : Springer, Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 476, publicationDate : 2014-08-04, releaseDate : 2014-08-04, publishers : Carsten Sinz, Uwe Egly, ISBN : 3319092839 ...