9th International Conference on Automated Deduction

副标题: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science)

ISBN: 9783540193432

出版社: Springer

出版年: 1988-06-13

页数: 792

定价: USD 104.00

装帧: Paperback