检索词: Kent Petersson , 检索到: 1 条结果, 检索时间: 0.026 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

O 数理科学与化学 (1)

您是不是想检索:

Petersson Peterson Paul E.Peterson (美)Grant Petersen著 (美)Keith Peters著 Andersson Herr Peter Last lesson Tom Peters谈创新

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

1.

Martin-Lof类型论程序设计导引

著者: B. 诺德斯特龙 Bengt Nordstrom K. 彼得森 Kent Petersson J.M. 史密斯 Jan M. Smith

出版社: 南京大学出版社出版日期: 2002

文献类型:

图书 , 索书号: O24/1

在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved null