9th International Conference on Automated Deduction

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

谁读这本书?

二手市场

订阅关于9th International Conference on Automated Deduction的评论:
feed: rss 2.0