Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
あらすじ
この書籍について
- 言語 English
- 商品番号：9783319221021
- 発売日 2015年8月18日
- 出版社：Springer International Publishing
- 出版社： Springer
- ファイル形式 EPUB2
- サイズ 8.89 MB
- ダウンロードオプション:EPUB2 (Adobe DRM)
