高階関数・論理的プログラムの計算モデル

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 高階関数・論理的プログラムの計算モデル
Title Transcription: コウカイカンスウ・ロンリテキプログラムノケイサンモデル
Author/Editor: 井田, 哲雄, 筑波大学
Author Heading: 著者：井田, 哲雄, 1947- イダ, テツオ, 1947- ( 00190628 )Authorities
Publication Date: 1996-1997
Publication Date (W3CDTF): 1996
Extent: 冊
Additional Title: 研究種目基盤研究(B)
Subject Heading: ナローイングナローイング
高階関数・論理型言語コウカイカンスウ・ロンリガタゲンゴ
計算モデルケイサンモデル
条件付き項書換え系ジヨウケンツキコウカキカエケイ
完全性カンゼンセイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 08458059
Holding library: 国立国会図書館
Call No.: Y151-H08458059
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007012948
http://id.ndl.go.jp/bib/000007012948
Bibliographic Record Category (NDL): 214