close
1.

図書

図書
Nils J. Nilsson
出版情報: Berlin ; New York : Springer, 1982  xv, 476 p. ; 25 cm
シリーズ名: Symbolic computation
所蔵情報: loading…
目次情報: 続きを見る
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
The Predicate Calculus in Ai / Chapter 4:
Resolution Refutation Systems / Chapter 5:
Rule-Based Deduction Systems / Chapter 6:
Basic Plan-Generating Systems / Chapter 7:
Advanced Plan-Generating Sytems / Chapter 8:
Structured Object Representations Prospectus / Chapter 9:
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
2.

図書

図書
Roger C. Schank
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1982  xv, 234 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼