Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)

作者: Urzyczyn, Pawel (EDT)
出版社: Springer Verlag
页数: 432
定价: 632.80元
装帧: Pap
ISBN: 9783540255932
目前无人评价

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

谁读这本书?

二手市场

订阅关于Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)的评论:
feed: rss 2.0