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

出版社:Cham, Switzerland : Springer, 2018.
ISBN:9783319929934
出版年:2018
作者:TAP 2018
资源类型:图书
细分类型:西文文献
相关推荐

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 : 11th International Conference, TAP 2017, Held as part of STAF 2017, Marburg, Germ

  • 作者:TAP 2017
  • ISBN:9783319614663
  • 出版社:Cham, Switzerland : Springer, 2017.
  • 出版年:2017

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 : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July

  • 作者:TAP 2014
  • ISBN:9783319090986
  • 出版社:Cham : Springer, 2014.
  • 出版年:2014

Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, Franc

  • 作者:TAP 2022
  • ISBN:9783031098260
  • 出版社:Cham : Springer, 2022.
  • 出版年:2022

Tests and proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norwa

  • 作者:TAP 2020
  • ISBN:9783030509941
  • 出版社:Cham : Springer, 2020.
  • 出版年:2020