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

Logics of time and computation
出版社：Stanford, CA : Center for the Study of Language and Information, 1987.
ISBN：0937073121
出版年：1987
作者：Goldblatt.,Robert
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Semantics and logics of computation:
  • 作者：Pitts,A. M.
  • ISBN：0521580579
  • 出版社：Cambridge, U.K. ; New York : Cambridge University Press, 1997.
  • 出版年：1997
...

COMPUTATION TOOLS 2010 : the first International Conference on Computational Logics, Algebras, Progr
  • 作者：International Conference on Computational Logics,Algebras,Programming,Tools,and Benchmarking
  • ISBN：9781618396426
  • 出版社：Wilmington, DE : International Academy, Research, and Industry Association, 2010.
  • 出版年：2010
...

Time series : modeling, computation, and inference
  • 作者：Prado,Raquel.
  • ISBN：9781420093360
  • 出版社：Boca Raton : CRC Press, c2010.
  • 出版年：2010
...

Time series : modeling, computation, and inference
  • 作者：Prado,Raquel,
  • ISBN：9781498747028
  • 出版社：Boca Raton : CRC Press, 2021.
  • 出版年：2021
...

Time map phonology : finite state models and event logics in speech recognition
  • 作者：Carson-Berndsen,Julie.
  • ISBN：0792348834
  • 出版社：Dordrecht ; Boston : Kluwer, c1998.
  • 出版年：1998
...

Linear time, branching time, and partial order in logics and models for concurrency : School/Worksho
  • 作者：Bakker,J.W. de
  • ISBN：038751080X
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989