高次逻辑中的定理证明 Theorem proving in higher order logics

作者:  Victor A·Carreno
出版社: 1 (2002年9月1日)
出版年: 2002-12
页数: 346
定价: 542.40元
装帧: 平装
ISBN: 9783540440390
目前无人评价

谁读这本书?

地内去主
地内去主
2014年3月27日 想读


> 1人想读

二手市场

订阅关于高次逻辑中的定理证明 Theorem proving in higher order logics的评论:
feed: rss 2.0