本
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
発売日発売中
- 著者
- Christian Urban/Xingyuan Zhang
- 出版社
- Springer
- 形式
- ペーパーバック
- 在庫状況
- 取り寄せ
- 新刊発見日
- 2016年5月7日
- 最終更新
- 2016年5月7日 16:23
- 価格確認日時
- 2016年5月7日 16:23
- ISBN/EAN
- 9783319221014
- 価格
- ¥10,471
