42556245
9783642390722
Out of Stock
The item you're looking for is currently unavailable.
Jarvisalo, Matti is the author of 'Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings', published 2013 under ISBN 9783642390722 and ISBN 3642390722.
[read more]