日本のストアです。

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

Proofs and Algorithms - An Introduction to Logic and Computability 電子ブック  Gilles Dowek 著

Proofs and Algorithms

An Introduction to Logic and Computability

Gilles Dowek
Computer Science (R0)

あらすじ

この書籍について

  • 言語 English
  • 商品番号:9780857291219
  • 発売日 2011年1月11日
  • 出版社:Springer London
  • 出版社: Springer
  • ファイル形式 EPUB2
  • サイズ 1.63 MB
  • ダウンロードオプション:EPUB2 (Adobe DRM)

シリーズの内容