Theorem Proving in Higher Order Logics

作者: Richard J. Boulton
出版社: Springer Verlag
出版年: 2001-1
页数: 393
定价: 110.00元
装帧: Pap
ISBN: 9783540425250
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

二手市场

订阅关于Theorem Proving in Higher Order Logics的评论:
feed: rss 2.0