Automated Deduction - Cade-17

作者: International Conference on Automated Deduction 2000 Pittsburgh, Pa/ McAllester, David A.
出版社: Springer Verlag
副标题: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
页数: 512
定价: 89.95
装帧: Pap
ISBN: 9783540676645