Automated Deduction - Cade-17

副标题: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

ISBN: 9783540676645

出版社: Springer Verlag

页数: 512

定价: 89.95

装帧: Pap