Derivation and Computation

作者: H. Simmons
出版社: Cambridge University Press
副标题: Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science)
出版年: 2000-06-12
页数: 410
定价: USD 120.00
装帧: Hardcover
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521771733
目前无人评价

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

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

赛义甫
赛义甫
2016年11月19日 想读

tags:Curry-Howard corresponden...

Tyrus
Tyrus
2016年3月17日 想读


阿狄
阿狄
2013年8月6日 想读


TBONTB64
TBONTB64
2013年8月6日 想读


> 4人想读

二手市场

订阅关于Derivation and Computation的评论:
feed: rss 2.0