この商品の詳細
- 出版社
- 近代科学社
- 出版社シリーズ
- ISBN
- 4764905740
- サイズ
- 単行本
- 発売年月日
- 2018年08月01日
この商品の紹介
ＯＴＴＥＲは、数学における定理やパズルの解法の証明を支援するソフトウェア。ＯＴＴＥＲが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説。ＯＴＴＥＲのソースコード付き。
発見・創発できる人工知能OTTER/単行本
1,690
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
頭のいい人が話す前に考えていること 990円
-
本当の自由を手に入れるお金の大学 275円
-
１分で話せ 550円
-
4位私が見た未来 【完全版】 710円
-
5位整理整頓 275円
-
6位この一冊で全部わかるＣｈａｔＧＰＴ＆Ｃｏｐｉｌｏｔの教科書 1,370円
-
7位一切なりゆき 165円
-
8位キレイはこれでつくれます 470円
-
9位やさしい人物画 1,150円
-
10位０～４歳わが子の発達に合わせた１日３０分間「語りかけ」育児 470円
-
11位これだけで基本がしっかり身につくＨＴＭＬ／ＣＳＳ＆Ｗｅｂデザイン１冊目の本 1,480円
-
12位俺、つしま 165円
-
13位フランス人は１０着しか服を持たない 110円
-
14位１３歳からのアート思考 990円
-
15位ユーモアは最強の武器である 1,150円
-
16位問題解決のための「アルゴリズム×数学」が基礎からしっかり身につく本 1,790円
-
17位幸せはあなたの心が決める 165円
-
18位超雑談力 800円
-
19位異文化理解力 1,150円
-
20位ナイツの言い間違いで覚える日本史 220円
この商品を見た人におすすめ もっと見る
-
問いかける陽明学 1,590円
-
きみはな－きみと話したい！フランス語 スマート版－ 1,370円
-
上海1944－1945 1,990円
-
青山課長は優しくない 630円
-
東京都過去問＋予想問題集I類B／行政・一般方式＜2023年度採用版＞ 1,150円
-
美しい毛筆の書きかた 1,590円
-
無法、掟破りと言われた男の一代記－加茂水族館ものがたり－ 990円
-
ちけ文＆ちけ単 治験に役立つ医学英文事例集 1,990円
-
破壊力学 630円
-
調波占星学入門 4,998円
-
テイルズオブジアビス公式シナリオブック 2,990円
-
「決定的瞬間」の思考法 2,860円
-
ザ・ビートルズ解散の真実 1,590円
-
二度とない人生を生きるために 470円
-
桃仙 2,200円
-
新海誠絵コンテ集＜6＞ 5,798円
-
春画 1,370円
-
宦官 220円
-
モンスターハンターストーリーズ2～破滅の翼～公式ガイドブック 1,150円
-
死のロングウォーク バックマン・ブックス＜4＞ 2,990円