本
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science)
発売日発売中
- 著者
- Gerwin Klein/Ruben Gamboa
- 出版社
- Springer
- 形式
- ペーパーバック
- 在庫状況
- 取り寄せ
- 新刊発見日
- 2014年7月2日
- 最終更新
- 2014年8月19日 05:07
- 価格確認日時
- 2014年8月19日 05:07
- ISBN/EAN
- 9783319089690
- 価格
- ¥11,794
