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

The nature of computation : logic algorithms applications : 9th Conference on Computability in Eur
出版社：Berlin ; New York : Springer, c2013.
ISBN：9783642390524
出版年：2013
作者：Conference on Computability in Europe
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georg
  • 作者：Conference on Computability in Europe
  • ISBN：9783031369773
  • 出版社：Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China,
  • 作者：TAMC 2012
  • ISBN：9783642299513
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece
  • 作者：Conference on Computability in Europe
  • ISBN：9783540694052
  • 出版社：Berlin : Springer, 2008.
  • 出版年：2008
...

Wireless algorithms, systems, and applications : 9th International Conference, WASA 2014, Harbin, Ch
  • 作者：WASA 2014
  • ISBN：9783319077819
  • 出版社：Cham : Springer, 2014.
  • 出版年：2014
...

Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Compu
  • 作者：International Tbilisi Symposium on Logic,Language,and Computation
  • ISBN：9783642369759
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Multi-agent systems and applications : 9th ECCAI Advanced Course, ACAI 2001 and Agent Link''s 3rd Eur
  • 作者：Luck,Michael
  • ISBN：3540423125
  • 出版社：Berlin : Springer, c2001.
  • 出版年：2001