Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 20

Tests and proofs : first international conference TAP 2007 Zurich Switzerland February 12-13 20

出版社：Berlin ; New York : Springer, c2007.

ISBN：9783540737698

出版年：2007

作者：TAP 2007

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : p

作者：TAP 2009
ISBN：9783642029486
出版社：Berlin ; New York : Springer, c2009.
出版年：2009

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30 -July1, 2011

作者：TAP 2011
ISBN：9783642217678
出版社：Berlin : Springer, c2011.
出版年：2011

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

Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, Fra

作者：TAP 2018
ISBN：9783319929934
出版社：Cham, Switzerland : Springer, 2018.
出版年：2018

Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : pro

作者：TAP 2013
ISBN：9783642389153
出版社：Berlin ; New York : Springer, c2013.
出版年：2013

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 20

作者：TAP 2012
ISBN：9783642304729
出版社：Berlin : Springer, c2012.
出版年：2012