|
JAIST Repository >
検索結果
検索結果表示: 1-10 / 86.
該当アイテム:
発行日 | タイトル |
著者 |
26-Jul-1999 | イベントとプロパティの区別を導入した型階層論理 | 兼岩, 憲; 東条, 敏; Kaneiwa, Ken; Toujou, Satoshi; カネイワ, ケン; トウジョウ, サトシ |
Jun-2008 | COE Research Monograph Series, Vol. 3 : オントロジーを用いた法的知識からの不整合の検出 | 東条, 敏; 萩原, 信吾; 東条, 敏(編) |
20-Dec-2000 | ソートと述語の二つの階層をもつ論理のホーン節計算の完全性 | 兼岩, 憲; 東条, 敏; KANEIWA, Ken; TOJO, Satoshi |
2005 | 人工市場アプローチによる介入エージェントを用いた為替介入効果の分析 | 松井, 宏樹; 東条, 敏; Matsui, Hiroki; Tojo, Satoshi |
2006 | 時制と時区間を表現する複様相論理とその決定可能性 | 吉岡, 卓; 東条, 敏; Yoshioka, Suguru; Tojo, Satoshi |
2004 | 情報源を明らかな選考関係を信念とした融合 | 鈴木, 義崇; 東条, 敏; Suzuki, Yoshitaka; Tojo, Satoshi |
1-Jun-2011 | 生成的音楽理論に基づく自動楽曲分析器の構築 | 東条, 敏; Tojo, Satoshi |
15-Jul-1999 | 法律知識の事象的/属性的読みを区別した推論システム | 兼岩, 憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
15-Nov-1993 | 部分的関係からのクラスタリング: 直観的データ解析の枠組 | 斉藤, 康彦; 東条, 敏; 古宮, 誠一; Saito, Yasuhiko; Tojo, Satoshi; Komiya, Seiichi |
15-May-2002 | 否定的意味が内在するソートを含んだソート階層の論理(<特集>システムLSIの設計技術と設計自動化) | 兼岩,憲; 東条, 敏; KANEIWA, KEN; TOJO, SATOSHI |
1
2
3
4
5
6
7
8
9
次へ
|