Automatic theorem proving
概観
| 著作: | 16 作品に 14 出版物中に 14 言語 | |
|---|---|---|
タイトル
Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated technology for verification and analysis[electronic resource] :13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
…で:
(コンピュータ・メディア)
主題