Lecture Notes in Computer Science: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Sutcliffe, Geoff; Voronkov, Andrei

Details

Published by: Springer

Publication Date: 2005-11-24

Format: Paperback

ISBN-13: 9783540305538

DOI: 10.1007/11591191

Dimensions: 235cm x155cm

Pages: 744