<図書>
モデル生成型定理証明に基づく分散知識情報処理システムの構築
モデル セイセイガタ テイリ ショウメイ ニ モトズク ブンサン チシキ ジョウホウ ショリ システム ノ コウチク
責任表示 | 研究代表者長谷川隆三 |
---|---|
シリーズ | 科学研究費補助金(基盤研究(B)(2))研究成果報告書 |
データ種別 | 図書 |
出版者 | [福岡] : [九州大学] |
出版年 | 1999.3 |
本文言語 | 日本語,英語 |
大きさ | 201p ; 30cm |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
中央図 自動書庫 | 科研報告書/九州大学/08458080 | 1999 |
|
003121999003895 |
|
書誌詳細
別書名 | 標題紙タイトル:平成8年度〜10年度科学研究費補助金(基盤研究(B)(2))研究成果報告書(研究課題番号08458080) |
---|---|
著者標目 | 長谷川, 隆三 <ハセガワ, リュウゾウ> |
書誌ID | 1000191833 |
NCID | BA4222798X |
登録日 | 2009.09.11 |
更新日 | 2011.10.07 |