モデル生成型定理証明に基づく分散知識情報処理システムの構築
書誌事項
- タイトル
- "モデル生成型定理証明に基づく分散知識情報処理システムの構築"
- 責任表示
- 研究代表者長谷川隆三
- 出版者
-
- [九州大学]
- 出版年月
-
- 1999.3
- 書籍サイズ
- 30cm
- タイトル別名
-
- モデル セイセイガタ テイリ ショウメイ ニ モトズク ブンサン チシキ ジョウホウ ショリ システム ノ コウチク
- 平成8年度〜10年度科学研究費補助金(基盤研究(B)(2))研究成果報告書(研究課題番号08458080)
この図書・雑誌をさがす
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130000795478650496
-
- NII書誌ID
- BA4222798X
-
- 出版国コード
- ja
-
- タイトル言語コード
- ja
-
- 出版地
-
- [福岡]
-
- データソース種別
-
- CiNii Books