close
1.

図書

図書
Berthold Klaus Paul Horn
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1986  x, 509 p. ; 24 cm
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
2.

図書

図書
Patrick Henry Winston, editor ; with contributions from Berthold Horn ... [et al.]
出版情報: New York : McGraw-Hill, c1975  vi, 282 p. ; 25 cm
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
3.

図書

図書
Patrick Henry Winston, Berthold Klaus Paul Horn
出版情報: Reading, Mass. : Addison-Wesley, c1989  xxi, 611 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Understanding Symbol Manipulation / 1:
Basic LISP Primitives / 2:
Procedure Definition and Binding / 3:
Predicates and Conditionals / 4:
Procedure Abstraction and Recursion / 5:
Data Abstraction and Mapping / 6:
Iteration on Numbers and Lists / 7:
File Editing, Compiling, and Loading / 8:
Printing and Reading / 9:
Rules for Good Programming and Tools for Debugging / 10:
Properties and Arrays / 11:
Macros and Backquote / 12:
Structures / 13:
Classes and Generic Functions / 14:
Lexical Variables, Generators, and Encapsulation / 15:
Special Variables / 16:
List Storage, Surgery, and Reclamation / 17:
LISP in LISP / 18:
Examples Involving Search / 19:
Examples Involving Simulation / 20:
The Blocks World with Classes and Methods / 21:
Answering Questions about Goals / 22:
Constraint Propagation / 23:
Symbolic Pattern Matching / 24:
Streams and Delayed Evaluation / 25:
Rule-Based Expert Systems and Forward Chaining / 26:
Backward Chaining and PROLOG / 27:
Interpreting Transition Trees / 28:
Understanding Symbol Manipulation / 1:
Basic LISP Primitives / 2:
Procedure Definition and Binding / 3:
4.

図書

図書
edited by Berthold K.P. Horn and Michael J. Brooks
出版情報: Cambridge, Mass. : MIT Press, c1989  577 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼