書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- アブダクシヨン システム ノ コウセイ ニ カンスル ケンキュウ
- 著者・編者
- 山崎, 進, 岡山大学
- 著者標目
- 山崎, 進 ヤマサキ, ススム
- 出版年月日等
- 1994-1996
- 出版年（W3CDTF）
- 1994
- 数量
- 冊
- その他のタイトル
- 研究種目 一般研究(B)
- 件名標目
- 論理プログラム ロンリプログラム2値安定モデル 2チアンテイモデル3値安定モデル 3チアンテイモデル失敗による否定 シツパイニヨルヒテイSLDNF導出 SLDNFドウシユツアブダクテイブ手続き アブダクテイブテツズキアブダクシヨンの枠組 アブダクシヨンノワクグミ意味論 イミロン