関数型言語における計算戦略

関数型言語における計算戦略

Call No. (NDL): Y151-H11680352
Bibliographic ID of National Diet Library: 000007083965

Material type: 図書

Author: 酒井, 正彦, 名古屋大学

Publisher: -

Publication date: 1999-2002

Material Format: Paper

Capacity, size, etc.: -

NDC: -

Notes on use

Note (General)：: 文部省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

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

Paper

Material Type: 図書
Title: 関数型言語における計算戦略
Title Transcription: カンスウガタゲンゴニオケルケイサンセンリャク
Author/Editor: 酒井, 正彦, 名古屋大学
Author Heading: 酒井, 正彦サカイ, マサヒコ
Publication Date: 1999-2002
Publication Date (W3CDTF): 1999
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 項書換え系コウカキカエケイ
正規化戦略セイキカセンリヤク
関数型言語カンスウガタゲンゴ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 11680352
Holding library: 国立国会図書館
Call No.: Y151-H11680352
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007083965
http://id.ndl.go.jp/bib/000007083965
Bibliographic Record Category (NDL): 214