Theorem Proving in Higher Order Logics

作者: Aagaard, Mark D.; Harrison, John; Aagaard, Mark D.
出版社: Springer
副标题: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science)
出版年: 2000-11-15
页数: 539
定价: USD 89.95
装帧: Paperback
ISBN: 9783540678632
目前无人评价

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

谁读这本书?

二手市场

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