Lecture Notes in Computer Science: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Nieuwenhuis, Robert

Details

Published by: Springer

Publication Date: 2005-07-14

Format: Paperback

ISBN-13: 9783540280057

DOI: 10.1007/11532231

Dimensions: 235cm x155cm

Pages: 466