Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Notes in Computer Science, Band 6355)

von: Edmund M. Clarke · Andrei Voronkov Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) ISBN: 978-3-642-17510-7 ISBN-10: 3-642-17510-4 Springer · 2011