9th International Conference on Automated Deduction

作者: Ewing Lusk / Ross Overbeek
出版社: Springer
副标题: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science)
出版年: 1988-06-13
页数: 792
定价: USD 104.00
装帧: Paperback
ISBN: 9783540193432