離散的計算機数学の総合的研究

Notes on use

Note (General)：: 文部省科学研究費補助金研究成果報告書参考資料の請求記号: Y151-S59340008-2, Y151-S59340008-3

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: 1985-1987
Publication Date (W3CDTF): 1985
Extent: 冊
Subject Heading: 圏論と計算機科学ケンロントケイサンキカガク
トポストポス
関数型言語の処理機構カンスウガタゲンゴノシヨリキコウ
Modula-2 MODULA-2
プログラムの自動合成プログラムノジドウゴウセイ
定理の自動証明テイリノジドウシヨウメイ
計算幾何学ケイサンキカガク
V-論理 V-ロンリ
類推の理論ルイスイノリロン
ペアノ算術系ペアノサンジユツケイ
グラフの結合度と可約辺グラフノケツゴウドトカヤクヘン
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
参考資料の請求記号: Y151-S59340008-2, Y151-S59340008-3
Research Project No. of Grants-in-Aid for Scientific Research: 60302009
Holding library: 国立国会図書館
Call No.: Y151-S60302009
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007023123
http://id.ndl.go.jp/bib/000007023123
Bibliographic Record Category (NDL): 214