Lecture Notes in Computer Science: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Gore, Rajeev; Leitsch, Alexander; Nipkow, Tobias

Details

Published by: Springer

Publication Date: 2001-06-06

Format: Paperback

ISBN-13: 9783540422549

DOI: 10.1007/3-540-45744-5

Dimensions: 235cm x155cm

Pages: 712