アルゴリズム論に関する総合的研究

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: 小林, 孝次郎, 1939- コバヤシ, コウジロウ, 1939- ( 00033186 )Authorities
Publication Date: 1994-1996
Publication Date (W3CDTF): 1994
Extent: 冊
Additional Title: 研究種目総合研究(A)
Subject Heading: 微分方程式の同定ビブンホウテイシキノドウテイ
知識命題論理チシキメイダイロンリ
代数的意味論ダイスウテキイミロン
関係代数カンケイダイスウ
プログラムの検証プログラムノケンシヨウ
時相論理ジソウロンリ
蛋白質の構造タンパクシツノコウゾウ
音楽情報処理オンガクジヨウホウシヨリ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 06302013
Holding library: 国立国会図書館
Call No.: Y151-H06302013
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006995395
http://id.ndl.go.jp/bib/000006995395
Bibliographic Record Category (NDL): 214