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

• Material Type: 図書
• Title: 離散的計算機数学の総合的研究
• Title Transcription: リサンテキ ケイサンキ スウガク ノ ソウゴウテキ ケンキュウ
• Author/Editor: 有川, 節夫, 九州大学
• Author Heading: 有川, 節夫, 1941- アリカワ, セツオ, 1941- ( 00003159 )Authorities
• Publication Date: 1991-1992
• Publication Date (W3CDTF): 1991
• Extent: 冊
• Additional Title: 研究種目 総合研究(A)
• Subject Heading: 計算機数学 ケイサンキスウガク; 散的アルゴリズム論 サンテキアルゴリズムロン; プログラム理論 プログラムリロン; 計算可能論理 ケイサンカノウロンリ; 計算量理論 ケイサンリヨウリロン; プログラム合成論 プログラムゴウセイロン; 論理と推論 ロンリトスイロン
• NDLC: Y151
• Note (General): 文部省科学研究費補助金研究成果報告書
• Research Project No. of Grants-in-Aid for Scientific Research: 03302011
• Holding library: 国立国会図書館
• Call No.: Y151-H03302011
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000006981381; http://id.ndl.go.jp/bib/000006981381
• Bibliographic Record Category (NDL): 214