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

Lectures on the Curry-Howard isomorphism
出版社：Amsterdam ; Boston [MA] : Elsevier, c2006.
ISBN：9780444520777
出版年：2007
作者：Sørensen,Morten Heine.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Derivation and computation : taking the Curry-Howard correspondence seriously
  • 作者：Simmons,Harold.
  • ISBN：0521771730
  • 出版社：Cambridge ; New York : Cambridge University Press, c2000.
  • 出版年：2000
...

The isomorphism problem in Coxeter groups
  • 作者：Bahls,C. Patrick.
  • ISBN：1860945546
  • 出版社：London : Imperial College Press ; Singapore ; Hackensack, NJ : Distributed by World Scientific, c200
  • 出版年：2005
...

Howard Florey
  • 作者：ed. by Gwyn Macfarlane.
  • ISBN：0198581610
  • 出版社：Oxford Univ. Pr., 1979
  • 出版年：1979
...

The computational complexity of equivalence and isomorphism problems
  • 作者：Thierauf,Thomas.
  • ISBN：3540410325
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000
...

Vogelzug/Curry-Lindahl Kai
  • 作者：Curry-Lindahl Kai
  • ISBN：3489616367;
  • 出版社：Berlin : Berlag Paul Parey, 1982
  • 出版年：1982
...

General Pathology/Howard Florey
  • 作者：Howard Florey
  • 出版社：London : Lloyd-Luke LTD, 1958
  • 出版年：1958