日本のストアです。

日本のストアは日本在住者向けストアのためアメリカ合衆国からはご利用になれません。アメリカ合衆国のストアをご利用ください。

アメリカ合衆国のストアへ移動する別のストアを選択する
メインコンテンツに移動
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings 電子ブック 著

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

電子書籍,電子書籍
Mauricio Ayala-Rincón,César A. Muñoz
Springer Nature Proceedings Computer Science

あらすじ

ジャンル

この書籍について

  • 言語　English
  • 商品番号：9783319661070
  • 発売日　2017年9月4日
  • 出版社：Springer International Publishing
  • 出版社： Springer
  • ファイル形式　EPUB3
  • サイズ　18.72 MB
  • ダウンロードオプション:EPUB3 (Adobe DRM)