Knowledge-based systems in artificial intelligence / Randall Davis, Douglas B. Lenat.

• 資料種別: 図書
• ISBN: 0070155577
• タイトル: Knowledge-based systems in artificial intelligence / Randall Davis, Douglas B. Lenat.
• シリーズタイトル: McGraw-Hill advanced computer science series
• 著者標目: Davis, Randall ( 00465360 )典拠; Lenat, Douglas B. ( 00470345 )典拠
• 出版事項: New York : McGraw-Hill International Book Co.; Tokyo : McGraw-Hill International Book Co.
• 出版年月日等: c1982.
• 出版年（W3CDTF）: 1982
• 数量: xxi, 490 p. ; 24 cm.
• 出版地（国名コード）: US
• 本文の言語コード: eng
• 件名標目: 人工頭脳. Zinkozuno.; Artificial intelligence -- Case studies.
• LCC: Q335
• DDC: 001.53/5
• NDLC: M121
• 書誌注記: Bibliography: p. 219-225.
• 所蔵機関: 国立国会図書館
• 請求記号: M121-A16
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000003099352; http://id.ndl.go.jp/bib/000003099352
• LC control number: 80014578; https://lccn.loc.gov/80014578
• 整理区分コード: 211

目次

CONTENTS

Foreword/ xv

Part 1　AM: Discovery in Mathematics as Heuristic Search

1　Overview/ 3

1ー1　Five- Page Summary of the Project/ 3