Lecture Notes in Computer Science: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Schmidt, Renate

Details

Published by: Springer

Publication Date: 2009-07-10

Format: Paperback

ISBN-13: 9783642029585

DOI: 10.1007/978-3-642-02959-2

Dimensions: 235cm x155cm

Pages: 504