Automated Reasoning

作者: Larry Wos / Ross Overbeek / Ewing Lusk / Jim Boyle
出版社: Prentice Hall
出版年: 1984-02-10
定价: USD 21.00
装帧: Paperback
ISBN: 9780130544469
目前无人评价

谁读这本书?

二手市场

订阅关于Automated Reasoning的评论:
feed: rss 2.0