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

Semantics and logics of computation:
出版社：Cambridge, U.K. ; New York : Cambridge University Press, 1997.
ISBN：0521580579
出版年：1997
作者：Pitts,A. M.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Programming logics : an introduction to verification and semantics
  • 作者：Gumb,Raymond D.
  • ISBN：0471605395
  • 出版社：New York : Wiley, c1989.
  • 出版年：1989
...

Logics of time and computation
  • 作者：Goldblatt.,Robert
  • ISBN：0937073121
  • 出版社：Stanford, CA : Center for the Study of Language and Information, 1987.
  • 出版年：1987
...

Efficient computation of argumentation semantics
  • 作者：Liao,Beishui,
  • ISBN：9780124104068
  • 出版社：Amsterdam ; Elsevier : [Zhejiang, China] : Zhejiang University Press, 2014.
  • 出版年：2014
...

A general algebraic semantics for sentential logics
  • 作者：Font,Josep Maria,
  • ISBN：3540616993
  • 出版社：Berlin ; New York : Springer-Verlag, 1996.
  • 出版年：1996
...

Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the
  • 作者：Nielson,Hanne Riis,
  • ISBN：9783319278094
  • 出版社：Cham : Springer, 2016.
  • 出版年：2016
...

Semantics of concurrent computation: proceedings of the international symposium
  • 作者：Kahn,Gilles.
  • ISBN：354009511X
  • 出版社：Berlin: Springer-Verlag, 1979.
  • 出版年：1979