一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

著者:  "兼岩, 憲"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

6 著者名表示.

発行日タイトル 著者
Mar-1998 型階層を導入した状況推論システム兼岩, 憲; かねいわ,　けん
15-Jul-1999 法律知識の事象的/属性的読みを区別した推論システム兼岩, 憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI
26-Jul-1999 イベントとプロパティの区別を導入した型階層論理兼岩, 憲; 東条, 敏; Kaneiwa, Ken; Toujou, Satoshi; カネイワ, ケン; トウジョウ, サトシ
20-Dec-2000 ソートと述語の二つの階層をもつ論理のホーン節計算の完全性兼岩, 憲; 東条, 敏; KANEIWA, Ken; TOJO, Satoshi
Mar-2001 述語階層, イベント性および内在的否定を導入した順序ソート論理兼岩, 憲; かねいわ, けん
15-Dec-2007 法的推論のための論理型イベント言語兼岩, 憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI

 
お問合せ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)