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

Categories and types in logic language and physics : essays dedicated to Jim Lambek on the occasio
出版社：Heidelberg : Springer, [2014].
ISBN：9783642547881
出版年：2014
作者：Casadio,C.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Categories of being : essays on metaphysics and logic
  • 作者：Haaparanta,Leila,
  • ISBN：9780199890576
  • 出版社：Oxford ; New York : Oxford University Press, 2012.
  • 出版年：2012
...

Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthd
  • 作者：Nigam,Vivek,
  • ISBN：9783030620769
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020
...

Language in action : categories, lambdas, and dynamic logic
  • 作者：Van Benthem,Johan.
  • ISBN：0444890009
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distribut
  • 出版年：1991
...

Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasio
  • 作者：Engels,G.
  • ISBN：9783642173219
  • 出版社：Berlin : Springer, c2010.
  • 出版年：2010
...

Logic at work : essays dedicated to the memory of Helena Rasiowa
  • 作者：Rasiowa,Helena,
  • ISBN：3790811645
  • 出版社：New York : Physica-Verlag, 1998.
  • 出版年：1998
...

From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasio
  • 作者：Smolka,Scott A.,
  • ISBN：9783030315139
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019