close
1.

図書

図書
Michael R. Genesereth and Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann, c1987  xviii, 405 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Declarative Knowledge / 2:
Inference / 3:
Resolution / 4:
Resolution Strategies / 5:
Nonmonotonic Reasoning / 6:
Induction / 7:
Reasoning with Uncertain Beliefs / 8:
Knowledge and Belief / 9:
Metaknowledge and Metareasoning / 10:
State and Change / 11:
Planning / 12:
Intelligent-Agent Architecture Answers to Exercises / 13:
Introduction / 1:
Declarative Knowledge / 2:
Inference / 3:
2.

図書

図書
Nils J. Nilsson
出版情報: New York : McGraw-Hill, c1971  xiv, 255 p. ; 24 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
3.

図書

図書
Matt Ginsberg
出版情報: San Mateo, CA ; San Francisco : Morgan Kaufmann Publishers, c1993  xiii, 430 p. ; 25 cm
所蔵情報: loading…
4.

図書

図書
[by] Leonard Uhr
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973  xxi, 506 p. ; 24 cm
シリーズ名: Prentice-Hall series in automatic computation
所蔵情報: loading…
5.

図書

図書
Roger Penrose
出版情報: Oxford ; New York : Oxford University Press, 1994  xvi, 457 p. ; 25 cm
所蔵情報: loading…
6.

図書

図書
Douglas R. Hofstadter
出版情報: New York : Basic Books, c1979  xxi, 777 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface to GEB's Twentieth-anniversary Edition
Overview
List of Illustrations
Words of Thanks
GEB / Part I:
Introduction: A Musico-Logical Offering
Three-Part Invention
The MU-puzzle / Chapter I:
Two-Part Invention
Meaning and Form in Mathematics / Chapter II:
Sonata for Unaccompanied Achilles
Figure and Ground / Chapter III:
Contracrostipunctus
Consistency, Completeness, and Geometry / Chapter IV:
Little Harmonic Labyrinth
Recursive Structures and Processes / Chapter V:
Canon by Intervallic Augmentation
The Location of Meaning / Chapter VI:
Chromatic Fantasy, And Feud
The Propositional Calculus / Chapter VII:
Crab Canon
Typographical Number Theory / Chapter VIII:
A Mu Offering
Mumon and Godel / Chapter IX:
EGB / Part II:
Prelude ...
Levels of Description, and Computer Systems / Chapter X:
... Ant Fugue
Brains and Thoughts / Chapter XI:
English French German Suite
Minds and Thoughts / Chapter XII:
Aria with Diverse Variations
BlooP and FlooP and GlooP / Chapter XIII:
Air on G's String
On Formally Undecidable Propositions of TNT and Related Systems / Chapter XIV:
Birthday Cantatatata ...
Jumping out of the System / Chapter XV:
Edifying Thoughts of a Tobacco Smoker
Self-Ref and Self-Rep / Chapter XVI:
The Magnificrab, Indeed
Church, Turing, Tarski, and Others / Chapter XVII:
Shrdlu, Toy of Man's Designing
Artificial Intelligence: Retrospects / Chapter XVIII:
Contrafactus
Artificial Intelligence: Prospects / Chapter XIX:
Sloth Canon
Strange Loops, Or Tangled Hierarchies / Chapter XX:
Six-Part Ricercar
Notes
Bibliography
Credits
Index
Preface to GEB's Twentieth-anniversary Edition
Overview
List of Illustrations
7.

図書

図書
Margaret A. Boden
出版情報: New York : Basic Books, c1977  ix, 537 p. ; 24 cm
所蔵情報: loading…
8.

図書

図書
Ernest W. Kent
出版情報: Peterborough, N.H. : Byte/McGraw Hill, c1981  ix, 286 p. ; 24 cm
所蔵情報: loading…
9.

図書

図書
Roger C. Schank ; including contributions by Neil M. Goldman, Charles J. Rieger and Christopher K. Riesbeck
出版情報: Amsterdam : North-Holland , New York : American Elsevier, 1975  viii, 374 p. ; 23 cm
シリーズ名: Fundamental studies in computer science ; v. 3
所蔵情報: loading…
10.

図書

図書
edited by Friedhart Klix
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Distributed in U.S.A. and Canada by Elsevier North-Holland, 1979  xv, 227 p. ; 23 cm
シリーズ名: Fundamental studies in computer science ; v. 8
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼