Automated Deduction - CADE-17 1st 版
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

表紙画像: Automated Deduction - CADE-17 1st edition 9783540676645
  • 著者
    David McAllester
  • 出版社
    Springer
  • 形式
    固定
  • ISBNを印刷する 9783540676645, 3540676643
  • 電子教科書ISBN 9783540451013, 3540451013
  • 版
    1st
  • 著作権
    2000
eTextbook をレンタルまたは購入する
‌‌
¥2,824 JPY
‌

学生向けeTextbookリーダーで世界No.1。 VitalSourceは、オンライン教科書とコース教材の大手販売会社です。1,500万人以上のユーザーが当社のBookshelfを使用しています 学習体験を向上させるための昨年のプラットフォームと 結果。いつでも、どこからでもアクセスでき、次のような組み込みツールを備えています 蛍光ペン、フラッシュカード、学習グループ、その理由は簡単にわかります 多くの学生がBookshelfでデジタル化しています。

  • 270万以上 1,000社を超える出版社から入手可能なタイトル

  • 65,000 を超える 利用者からの平均評価は9.5

  • 50 億を超える 過去12ヶ月間に閲覧されたデジタルページ

  • 7,000を超える Bookshelf を使用している 241 か国の機関

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings 1st 版 著者: David McAllester 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Deduction - CADE-17 : 9783540451013, 3540451013 および 印刷版のISBNは 9783540676645, 3540676643. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

トップに戻る