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

A transfinite type theory with type variables
出版社：Amsterdam : North-Holland pub. co., 1965.
出版年：1965
作者：Andrews,P.B.
资源类型：图书
细分类型：馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Type A behavior pattern : research, theory, and intervention
  • 作者：Snyder,C. R.
  • ISBN：0471845914
  • 出版社：New York : Wiley, c1988.
...

Basic simple type theory
  • 作者：Hindley,J. Roger.
  • ISBN：0521054222
  • 出版社：Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, c1997 (2008 printing)
  • 出版年：2008
...

Categorical logic and type theory
  • 作者：Jacobs,Bart.
  • ISBN：0444501703
  • 出版社：Amsterdam ; New York : Elsevier Science, c1999.
  • 出版年：1999
...

The character theory of finite groups of Lie type : a guided tour
  • 作者：Geck,Meinolf,
  • ISBN：9781108489621
  • 出版社：Cambridge, United Kingdom ; New York : Cambridge University Press, 2020.
  • 出版年：2020
...

Rational homotopy type : a constructive study via the theory of the I*-measure
  • 作者：Wu,Wen-tsün.
  • ISBN：0387136118
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

Algebraic groups : the theory of group schemes of finite type over a field
  • 作者：Milne,J. S.,
  • ISBN：9781107167483
  • 出版社：Cambridge, United Kingdom ; New York, New York : Cambridge University Press, 2017.
  • 出版年：2017