Lecture Notes in Computer Science: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Schneider, Klaus; Brandt, Jens

Details

Published by: Springer

Publication Date: 2007-08-28

Format: Paperback

ISBN-13: 9783540745907

DOI: 10.1007/978-3-540-74591-4

Dimensions: 235cm x155cm

Pages: 404