Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December

Types for proofs and programs : international workshop TYPES 2004 Jouy-en-Josas France December

出版社：Berlin ; New York : Springer, c2006.

ISBN：3540314288

出版年：2006

作者：TYPES 2004

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

European Workshop on Bovine Histocompatibility : Jouy-en-Josas (France), 21-22 juin 1982

作者：European Workshop on Bovine Histocompatibility : Jouy-en-Josas
出版社：Paris : Institut National de la Recherche Agronomique

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, Ap

作者：Geuvers,Herman
ISBN：354014031X
出版社：Belrin : Springer, c2003.
出版年：2003

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, Dec. 8-12, 2000 : se

作者：International Workshop TYPES 2000
ISBN：3540432876
出版社：Berlin ; New York : Springer, c2002.
出版年：2002

Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 200

作者：Thorsten Altenkirch
ISBN：3540744630
出版社：Berlin ; New York : Springer, c2007.
出版年：2007

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2

作者：TYPES 2003
ISBN：3540221646
出版社：Berlin ; New York, NY : Springer-Verlag, c2004.
出版年：2004

Types for proofs and programs : international workshop, TYPES ''99, Lökeberg, Sweden, June 12-16, 19

作者：International Workshop TYPES ''99
ISBN：3540415173
出版社：New York : Springer, c2001.
出版年：2001