Categories and Types in Logic, Language, and Physics

EISBN:9783642547898
PISBN:9783642547881
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2014
作者:Claudia Casadio,Bob Coecke,Michael Moortgat,Philip Scott
主题词:Mathematical Logic and Formal Languages,Computation by Abstract Devices,Logics and Meanings of Programs,History of Computing,Computer Science,general
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Language in Action Categories, Lambdas and Dynamic Logic

  • 作者:Johan van Benthem
  • PISBN:9780444890009
  • 出版时间:Pre 2007

Logic and Language

  • 作者:Neville Dean
  • EISBN:9780230006058
  • 出版社:Macmillan Education UK
  • 出版时间:2003

Sets, Logic and Categories

  • 作者:Peter J. Cameron
  • EISBN:9781447105893
  • 出版社:Springer London
  • 出版时间:1998

Logic and Language

  • 作者:B.H. Kazemier,D. Vuysje
  • EISBN:9789401721110
  • 出版社:Springer Netherlands
  • 出版时间:1962

Categories in Continuum Physics

  • 作者:F. William Lawvere,Stephen H. Schanuel
  • EISBN:9783540397601
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1986

Categories in Continuum Physics

  • 作者:F. William Lawvere,Stephen H. Schanuel
  • EISBN:9783540397601
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1986