|
|
JAIST Repository >
著者: "KANEIWA, KEN"
5 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 15-Jul-1999 | 法律知識の事象的/属性的読みを区別した推論システム | 兼岩, 憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
| 26-Jul-1999 | イベントとプロパティの区別を導入した型階層論理 | 兼岩, 憲; 東条, 敏; Kaneiwa, Ken; Toujou, Satoshi; カネイワ, ケン; トウジョウ, サトシ |
| 20-Dec-2000 | ソートと述語の二つの階層をもつ論理のホーン節計算の完全性 | 兼岩, 憲; 東条, 敏; KANEIWA, Ken; TOJO, Satoshi |
| 15-May-2002 | 否定的意味が内在するソートを含んだソート階層の論理(<特集>システムLSIの設計技術と設計自動化) | 兼岩,憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
| 15-Dec-2007 | 法的推論のための論理型イベント言語 | 兼岩, 憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
|
