Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 20

Interactive theorem proving : 4th International Conference ITP 2013 Rennes France July 22-26 20

出版社：Berlin : Springer, c2013.

ISBN：9783642396335

出版年：2013

作者：ITP 2013

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2

作者：ITP 2016
ISBN：9783319431437
出版社：Switzerland : Springer, 2016.
出版年：2016

Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2

作者：ITP 2010
ISBN：9783642140518
出版社：Berlin : Springer, c2010.
出版年：2010

Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated

作者：ITP 2018
ISBN：9783319948201
出版社：Cham, Switzerland : Springer, 2018.
出版年：2018

Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27,

作者：ITP 2015
ISBN：9783319221014
出版社：Cham : Springer, 2015.
出版年：2015

Interactive theorem proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Sum

作者：ITP 2014
ISBN：9783319089690
出版社：Cham : Springer, 2014.
出版年：2014

Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 2

作者：ITP 2017
ISBN：9783319661063
出版社：Cham, Switzerland : Springer, 2017.
出版年：2017