Search by Bookstore
Table of Contents
序章 創発する自動推論エンジン 第1章 OTTERの基本 第2章 正直者と嘘つきの村のパズル― 一階述語論理 第3章 自己増殖するロボットのパズル 第4章 等価推論 第5章 OTTERの過去・現在・未来 付録A OTTERの入手とサンプルプログラム 付録B 本書でのOTTERの修正方法
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Northern Japan
札幌市中央図書館
Paper- 007.6/ア/
- 0181104316
Kanto
さいたま市立中央図書館
Paper- 007.64 アン
- 01190520153
東京都立中央図書館
Paper- 007.6-9259-2018
- 7110843566
神奈川県立川崎図書館
Paper- 007.13-117
- 81706228
横浜市立図書館
Paper- 007.1
- 2063551530
Search by Bookstore
Publication bibliographic database Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-7649-0574-0
- Title Transcription
- ハッケン ソウハツ デキル ジンコウ チノウ オッター : ロンリ パズル カラ ノ アプローチ
- Author/Editor
- 安藤類央, 武藤佳恭 著
- Author Heading
- 安藤, 類央 アンドウ, ルオ ( 001301339 )Authorities武藤, 佳恭, 1955- タケフジ, ヨシヤス, 1955- ( 00144041 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2018.8
- Publication Date (W3CDTF)
- 2018
- Extent
- 283p