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

Automata logics and infinite games
出版社：Berlin ; New York : Springer, 2002.
ISBN：3540003886
出版年：2002
作者：Gridel,Erich
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Infinite words : automata, semigroups, logic and games
  • 作者：Perrin,Dominique.
  • ISBN：0125321112
  • 出版社：Amsterdam ; Boston : Elsevier, 2004.
  • 出版年：2004
...

Automata on infinite words
  • 作者：Nivat,M.
  • ISBN：3540156410
  • 出版社：New York, c1985.
  • 出版年：1985
...

Logics for concurrency : structure versus automata
  • 作者：Moller,Faron
  • ISBN：3540609156
  • 出版社：Berlin ; New York : Springer, 1996.
  • 出版年：1996
...

Models of strategic reasoning : logics, games, and communities
  • 作者：Benthem,Johan van,
  • ISBN：9783662485392
  • 出版社：Berlin : Springer, 2015.
  • 出版年：2015
...

Logics of Programs
  • 作者：E.Clarke
  • ISBN：3540128964
  • 出版社：0000.00
...

Philosophy of logics
  • 作者：Haack,Susan.
  • ISBN：0521219884
  • 出版社：Cambridge [Eng.] ; New York : Cambridge University Press, 1978.
  • 出版年：1978