Lecture Notes in Computer Science: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Strichman, Ofer; Szeider, Stefan

Details

Published by: Springer

Publication Date: 2010-06-30

Format: Paperback

ISBN-13: 9783642141850

DOI: 10.1007/978-3-642-14186-7

Dimensions: cm xcm

Pages: 400