Automatic theorem proving - Congresses.
概要
| 作品: | 15 作品在 14 項出版品 14 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(書目-電子資源)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題