論理学のプログラム言語理論への応用

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: 岡田, 光弘オカダ, ミツヒロ
Publication Date: 1993-1994
Publication Date (W3CDTF): 1993
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: マルチ・パラダイム・プログラム言語マルチ・パラダイム・プログラムゲンゴ
タイプ理論タイプリロン
項書き換え論理コウカキカエロンリ
証明論シヨウメイロン
代数的仕様言語ダイスウテキシヨウゲンゴ
証明の正規化定理シヨウメイノセイキカテイリ
π一計算パイイチケイサン
計算モデルケイサンモデル
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 05808030
Holding library: 国立国会図書館
Call No.: Y151-H05808030
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006995151
http://id.ndl.go.jp/bib/000006995151
Bibliographic Record Category (NDL): 214