分散制約解消系を融合する関数論理型プログラミング

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: 1998-1998
Publication Date (W3CDTF): 1998
Extent: 冊
Additional Title: 研究種目基盤研究(B)
Subject Heading: 関数論理型言語カンスウロンリガタゲンゴ
制約解消系セイヤクカイシヨウケイ
計算モデルケイサンモデル
ナローイングナローイング
求解完全性キユウカイカンゼンセイ
Mathematica MATHEMATICA
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 10480053
Holding library: 国立国会図書館
Call No.: Y151-H10480053
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007059175
http://id.ndl.go.jp/bib/000007059175
Bibliographic Record Category (NDL): 214