Lecture Notes in Computer Science: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Dershowitz, Nachum; Voronkov, Andrei

Details

Published by: Springer

Publication Date: 2007-10-08

Format: Paperback

ISBN-13: 9783540755586

DOI: 10.1007/978-3-540-75560-9

Dimensions: 235cm x155cm

Pages: 564