9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science): 310

More Information

Format: Paperback
Pages: 792
Edition: 1988
Publisher: Springer
Published: 13 Jun 1988
ISBN 10: 354019343X
ISBN 13: 9783540193432