登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

A Modern Perspective on Type Theory
EISBN：9781402023354
PISBN：9781402023347
出版社：Springer Netherlands
出版类型：Monograph
出版时间：2005
作者：Fairouz Kamareddine,Twan Laan,Rob Nederpelt
主题词：Mathematical Logic and Foundations,Mathematics of Computing,Logic
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Applied Logic Series
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

A Transfinite Type Theory with Type Variables
  • 作者：P.B. Andrews
  • PISBN：9780444534026
  • 出版时间：Pre 2007
...

Dyke Swarms of the World: A Modern Perspective
  • 作者：Rajesh K. Srivastava,Richard E. Ernst,Peng Peng
  • EISBN：9789811316661
  • 出版社：Springer Singapore
  • 出版时间：2019
...

Statics and Influence Functions - from a Modern Perspective
  • 作者：Friedel Hartmann,Peter Jahn
  • EISBN：9783319512228
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Gravitational Waves from a Quantum Field Theory Perspective
  • 作者：Subhendra Mohanty
  • EISBN：9783031237706
  • 出版社：Springer Nature
  • 出版时间：2023
...

A Modern Approach to Probability Theory
  • 作者：Bert Fristedt,Lawrence Gray
  • EISBN：9781489928375
  • 出版社：Birkhäuser Boston
  • 出版时间：1997
...

Modern Big Data Architectures - A Multi-Agent Systems Perspective
  • 作者：Ryzko
  • EISBN：9781119597926
  • 出版社：Wiley
  • 出版时间：2020