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

Simple Type Theory
EISBN：9783031211126
PISBN：9783031211119
出版社：Springer Nature
出版时间：2023
作者：William M. Farmer
主题词：higher-order logic,indefinite description,type theory,undefinedness,categorical theories
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Computer Science Foundations and Applied Logic
3浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Theory of Simple Liquids
  • 作者：Hansen,Jean-Pierre
  • PISBN：9780123870322
  • 出版时间：2013
...

Theory of Simple Glasses
  • 作者：Parisi/Urbani/Zamponi
  • EISBN：9781108120494
  • 出版社：Cambridge University Press
  • 出版时间：2019
...

Theory of Simple Liquids
  • 作者：Hansen,Jean-Pierre
  • PISBN：9780123238528
  • 出版时间：Legacy
...

Theory of Simple Liquids
  • 作者：Jean-Pierre Hansen/I.R. McDonald
  • PISBN：9780123705358
  • 出版时间：Pre 2007
...

Torsion et Type Simple d'Homotopie
  • 作者：G. de Rham,S. Maumary,M.A. Kervaire
  • EISBN：9783540355472
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1967
...

Abstract Root Subgroups and Simple Groups of Lie-Type
  • 作者：Franz G. Timmesfeld
  • EISBN：9783034875943
  • 出版社：Birkhäuser Basel
  • 出版时间：2001