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

Computational logic and proof theory : 5th Kurt Gödel Colloquium KGC ''97 Vienna Austria August
出版社：Berlin ; New York : Springer, c1997.
ISBN：3540633855
出版年：1997
作者：Gottlob,Georg
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Gödel''s proof
  • 作者：Nagel,Ernest,
  • 出版社：London : Routledge, 1959.
  • 出版年：1959
...

2014 5th International Conference on Optical Communication Systems (OPTICS 2014) : Vienna, Austria,
  • 作者：International Conference on Optical Communication Systems
  • ISBN：9781467392433
  • 出版社：Piscataway, N.J. : IEEE Computer Society, 2014.
  • 出版年：2014
...

2014 5th International Conference on Data Communication Networking (DCNET 2014) : Vienna, Austria, 2
  • 作者：International Conference on Data Communication Networking
  • ISBN：9781467392419
  • 出版社：Piscataway, N.J. : IEEE, 2014.
  • 出版年：2014
...

Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September
  • 作者：FroCoS 2005
  • ISBN：3540290516
  • 出版社：Berlin ; New York : Springer, c2005.
  • 出版年：2005
...

Serviceology for services : 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14,
  • 作者：Hara,Yoshinori,
  • ISBN：9783319612393
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Trust and Trustworthy Computing : 5th international conference, TRUST 2012, Vienna, Austria, June 13
  • 作者：TRUST 2012
  • ISBN：9783642309205
  • 出版社：Berlin : Springer, c2012.
  • 出版年：2012