記号処理プログラミング
Author(s)
Bibliographic Information
記号処理プログラミング
（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 8）
岩波書店, 1988.8
- Title Transcription
-
キゴウ ショリ プログラミング
Available at / 350 libraries
-
Ibaraki University Library, Hitachi Branch分
007.63:Iwa:8218800641,218803287,219000081,219400068
-
National Institute of Technology, Gunma College Library図書
007.6408:I95:81061418,1061779,1064040
-
Research Institute for Economics & Business Administration (RIEB) Library , Kobe University図書
549.9-562//8080000055741
-
University of Tsukuba Library, Library on Library and Information Science
007.63:I-95:8960018590,880019620,880021200,880041010
-
Tohoku Institute of Technology Library
N1:418.600||AT:I||KN:008,N1:548.963||AT:I||KN:0081882016,1895838
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考書: p209-212
巻末: LISPプログラム索引, 事項索引
Description and Table of Contents
Description
Table of Contents
- １ ＬＩＳＰの考え方（リストとＳ式；ＬＩＳＰの関数；関数の関数；ＥＶＡＬとインタプリタ）
- ２ ＬＩＳＰの使い方（親言語としてのＬＩＳＰ；プロダクション・システム；定理の自動証明；英語の構文解析；多項式の微分）
- ３ ＰＲＯＬＯＧ（述語の考え方；ユニフィケーション；ＰＲＯＬＯＧにおけるリスト構造；論理プログラミング；ＬＩＳＰとＰＲＯＬＯＧとの比較）
- ４ 記号処理の計算機構（リストの内部表現；ＬＩＳＰマシンの発想；ラムダ表現とＬＩＳＰ、ＰＲＯＬＯＧ）
by "BOOK database"