図書

モデル生成型定理証明に基づく分散知識情報処理システムの構築

Icons representing 図書

モデル生成型定理証明に基づく分散知識情報処理システムの構築

Call No. (NDL)
Y151-H08458080
Bibliographic ID of National Diet Library
000007012968
Material type
図書
Author
長谷川, 隆三, 九州大学
Publisher
-
Publication date
1996-1998
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
長谷川, 隆三 ハセガワ, リュウゾウ
Publication Date
1996-1998
Publication Date (W3CDTF)
1996
Extent
Additional Title
研究種目 基盤研究(B)
Subject Heading
N逐次実行方式 Nチクジジツコウホウシキ
Java JAVA
異機種分散 イキシユブンサン