Lecture Notes in Computer Science: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Pfenning, Frank

Details

Published by: Springer

Publication Date: 2007-07-05

Format: Paperback

ISBN-13: 9783540735946

DOI: 10.1007/978-3-540-73595-3

Dimensions: 235cm x155cm

Pages: 524