Computional linguistics and formal semantics

出版社:Cambridge [England] ; New York, N.Y. : Cambridge University Press, 1992.
ISBN:052141959X
出版年:1992
作者:Rosner,Michael.
资源类型:图书
细分类型:西文文献
相关推荐

Formal semantics : an introduction

  • 作者:Cann,Ronnie.
  • ISBN:0521374634
  • 出版社:Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
  • 出版年:1993

Formal syntax and semantics of Java

  • 作者:Alves-Foss,Jim
  • ISBN:3540661581
  • 出版社:Berlin ; New York : Springer, 1999.
  • 出版年:1999

Pro. of the Conf. 37th Annual Meeting of the Association for Computional Linguistics

  • 作者:ACL
  • ISBN:1558606092
  • 出版社:ACL: Morgan Kaufmann Publishers, c1999.

Modern Perspectives in Type-Theoretical Semantics (Studies in Linguistics and Philosophy 98)

  • 作者:Edited by Stergios Chatzikyriakidis,Zhaohui Luo.
  • ISBN:9783319504209
  • 出版社:Springer International Publishing, 2017-02.
  • 出版年:2017

Understanding Z : a specification language and its formal semantics

  • 作者:Spivey,J. M.
  • ISBN:0521054141
  • 出版社:Cambridge ; New York : Cambridge University Press, 2008.
  • 出版年:2008