モデル生成型定理証明に基づく分散知識情報処理システムの構築
Bibliographic Information
- Title
- "モデル生成型定理証明に基づく分散知識情報処理システムの構築"
- Statement of Responsibility
- 研究代表者長谷川隆三
- Publisher
-
- [九州大学]
- Publication Year
-
- 1999.3
- Book size
- 30cm
- Other Title
-
- モデル セイセイガタ テイリ ショウメイ ニ モトズク ブンサン チシキ ジョウホウ ショリ システム ノ コウチク
- 平成8年度〜10年度科学研究費補助金(基盤研究(B)(2))研究成果報告書(研究課題番号08458080)
Search this Book/Journal
- Tweet
Details 詳細情報について
-
- CRID
- 1130000795478650496
-
- NII Book ID
- BA4222798X
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- [福岡]
-
- Data Source
-
- CiNii Books