図書

情報数学の研究

Icons representing 図書

情報数学の研究

Call No. (NDL)
Y151-H07640278
Bibliographic ID of National Diet Library
000007006495
Material type
図書
Author
加納, 幹雄, 茨城大学
Publisher
-
Publication date
1995-1996
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

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 Transcription
ジョウホウ スウガク ノ ケンキュウ
Author/Editor
加納, 幹雄, 茨城大学
Author Heading
加納, 幹雄, 1949- カノウ, ミキオ, 1949- ( 00368172 )Authorities
Publication Date
1995-1996
Publication Date (W3CDTF)
1995
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
グラフ理論 グラフリロン
数理論理学 スウリロンリガク
遺伝的アルゴリズム イデンテキアルゴリズム
グラフの因子 グラフノインシ
グラフの埋め込み グラフノウメコミ
クリプキ・タイプ意味論 クリプキ・タイプイミロン
クリプキ層 クリプキソウ