Lecture Notes in Computer Science: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Ganzinger, Harald

Details

Published by: Springer

Publication Date: 1999-06-23

Format: Paperback

ISBN-13: 9783540662228

DOI: 10.1007/3-540-48660-7

Dimensions: 235cm x155cm

Pages: 438