Finite and algorithmic model theory

出版社:Cambridge ; New York : Cambridge University Press, 2011.
ISBN:9780521718202
出版年:2011
作者:Esparza,Javier.
资源类型:图书
细分类型:西文文献
相关推荐

Finite model theory

  • 作者:Ebbinghaus,Heinz-Dieter,
  • ISBN:3540287876
  • 出版社:New York, NY : Springer, 2006.
  • 出版年:2006

Finite model theory

  • 作者:Ebbinghaus,Heinz-Dieter,
  • ISBN:354060149X
  • 出版社:Berlin ; New York : Springer, c1995.
  • 出版年:1995

Finite model theory

  • 作者:Ebbinghaus,Heinz-Dieter,
  • ISBN:3540657584
  • 出版社:Berlin ; New York : Springer, 1999.
  • 出版年:1999

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

  • 作者:Keisler,H. Jerome.
  • 出版社:Amsterdam : North-Holland pub. co., 1971.
  • 出版年:1971

Finite Markov chains and algorithmic applications

  • 作者:Häggström,Olle.
  • ISBN:0521813573
  • 出版社:Cambridge ; New York : Cambridge University Press, c2002.
  • 出版年:2002

Algorithmic learning theory

  • 作者:International Workshop on Algorithmic Learning Theory (ALT''90)
  • ISBN:3540196617 0387196617 4274076164 17.00
  • 出版社:Berlin : Springer, c1990
  • 出版年:1990