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

Bounded variable logics and counting : a study in finite models
出版社：Berlin ; New York : Springer, c1997.
ISBN：3540620370
出版年：1997
作者：Otto,Martin,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Logics and models of concurrent systems
  • 作者：NATO Advanced Study Institute on Logics and Models of Concurrent Systems
  • ISBN：0387151818
  • 出版社：Berlin ; New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Logics and models of concurrent systems
  • 作者：Apt,Krzysztof R.,
  • ISBN：3540151818
  • 出版社：Berlin : Springer, 1985.
  • 出版年：1985
...

Latent variable models and factor analysis : a unified approach
  • 作者：Bartholomew,David J.
  • ISBN：9780470971925
  • 出版社：Chichester, West Sussex : Wiley, 2011.
  • 出版年：2011
...

Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai
  • 作者：Makkai,Mihály,
  • ISBN：9780821872819
  • 出版社：Providence, R.I. : American Mathematical Society, c2011.
  • 出版年：2011
...

Statistical models based on counting processes
  • 作者：Andersen,Per Kragh,
  • ISBN：0387978720
  • 出版社：New York : Springer-Verlag, c1993.
  • 出版年：1993