Lecture Notes in Computer Science: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Baaz, Matthias; Voronkov, Andrei

Details

Published by: Springer

Publication Date: 2002-10-02

Format: Paperback

ISBN-13: 9783540000105

DOI: 10.1007/3-540-36078-6

Dimensions: 235cm x155cm

Pages: 470