Search results for: Sinz, Carsten
Showing 1 - 1 results of 1
Refine Results
-
1
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014,...
Published: Springer International Publishing : Imprint: Springer, 2014Other Authors: “…Sinz, Carsten…”
Holdings: Loading…Springer English/International eBooks 2014 - Full Set: 2014 (Springer Link)
Electronic eBook