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

Higher Order Operational Techniques in Semantics
出版社：Cambridge Univercity： Cambridge Univercity， c1998．
ISBN：0521631688
作者：Gordon,Andrew D.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Intentional and higher-order modal logic : with applications to Montague semantics
  • 作者：Gallin,Daniel.
  • ISBN：044411002X
  • 出版社：Amsterdam : North Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
  • 出版年：1975
...

Higher-order techniques in computational electromagnetics
  • 作者：Graglia,Roberto D.,
  • ISBN：9781613530160
  • 出版社：Edison, NJ : SciTech Publishing, 2016.
  • 出版年：2016
...

Operational semantics and verification of security protocols
  • 作者：Cremers,Cas.
  • ISBN：9783540786351
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Higher order derivatives
  • 作者：Mukhopadhyay,Satya N.
  • ISBN：9781439880470
  • 出版社：Boca Raton, FL : CRC Press, c2012.
  • 出版年：2012
...

Higher-order systems
  • 作者：Battiston,Federico,
  • ISBN：9783030913731
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

Higher-order sensory processing
  • 作者：Guthrie,D. M.
  • ISBN：0719028043
  • 出版社：Manchester : The Univ. Pr., c1990
  • 出版年：1990