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 次へ

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係