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

Tests and proofs : second international conference TAP 2008 Prato Italy April 2008 : proceedings
出版社：Berlin ; New York : Springer, c2008.
ISBN：9783540791232
出版年：2008
作者：TAP 2008
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 20
  • 作者：TYPES 2008
  • ISBN：9783642024436
  • 出版社：Berlin ; New York : Springer, 2009.
  • 出版年：2009
...

Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Aus
  • 作者：TAP 2016
  • ISBN：9783319411347
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 20
  • 作者：TAP 2007
  • ISBN：9783540737698
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

Ischia Group Theory 2008 : proceedings of the conference, Naples, Italy, 1-4 April 2008
  • 作者：Ischia Group Theory 2008
  • ISBN：9789814277792
  • 出版社：Hackensack, NJ : World Scientific Pub Co., c2009.
  • 出版年：2009
...

Tests and proofs : 15th International Conference, TAP 2021, held as part of STAF 2021, Virtual event
  • 作者：TAP 2021
  • ISBN：9783030793784
  • 出版社：Cham : Springer, 2021.
  • 出版年：2021
...

Tests and proofs : 13th International Conference, TAP 2019, held as part of the third World Congress
  • 作者：TAP 2019
  • ISBN：9783030311568
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019