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

• Material Type: 図書
• ISBN: 0070155577
• Title: Knowledge-based systems in artificial intelligence / Randall Davis, Douglas B. Lenat.
• Series Title: McGraw-Hill advanced computer science series
• Author Heading: Davis, Randall ( 00465360 )Authorities; Lenat, Douglas B. ( 00470345 )Authorities
• Publication, Distribution, etc.: New York : McGraw-Hill International Book Co.; Tokyo : McGraw-Hill International Book Co.
• Publication Date: c1982.
• Publication Date (W3CDTF): 1982
• Extent: xxi, 490 p. ; 24 cm.
• Place of Publication (Country Code): US
• Text Language Code: eng
• Subject Heading: 人工頭脳. Zinkozuno.; Artificial intelligence -- Case studies.
• LCC: Q335
• DDC: 001.53/5
• NDLC: M121
• Note (Bibliography): Bibliography: p. 219-225.
• Holding library: 国立国会図書館
• Call No.: M121-A16
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003099352; http://id.ndl.go.jp/bib/000003099352
• LC Control Number: 80014578; https://lccn.loc.gov/80014578
• Bibliographic Record Category (NDL): 211

Table of Contents

CONTENTS

Foreword/ xv

Part 1　AM: Discovery in Mathematics as Heuristic Search

1　Overview/ 3

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