书名	Domains and lambda-calculi /
作者	Amadio, Roberto M. CAL n200500
从编题名
出版、发行地
出版、发行者名称	Cambridge, U.K. ; New York : C
出版、发行日期	1998
页数
分类号	TP301/A481/2008/Y
分类	自动化技术、计算机技术
内容提要
馆藏地点	总馆理科外文阅览

点击:244次