登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Typed lambda calculi and applications : 5th International Conference TLCA 2001 Krakow Poland May
出版社：Berlin : Springer, c2001.
ISBN：3540419608
出版年：2001
作者：International Conference on Typed Lambda Calculi and Applications
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia,
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783642216909
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783540732273
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil,
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783642022722
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, The Net
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：9783642389450
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April
  • 作者：International Conference on Typed Lambda Calculi and Applications
  • ISBN：3540255931
  • 出版社：Berlin : Springer, c2005.
  • 出版年：2005
...

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, Ju
  • 作者：Hofmann,Martin
  • ISBN：3540403329
  • 出版社：Berlin : Springer, c2003.,Berlin ; New York : Springer, 2003.
  • 出版年：2003