-
西文图书1.Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 TP311.1/T991
馆藏复本:1
可借复本:1 TYPES 2000
Springer, c2002.
(0) 馆藏
馆藏复本:1
可借复本:1 TYPES 2000
Springer, c2002.
(0) 馆藏