スポンサーリンク
ICOT | 論文
- 淵 一博 監修, 溝口文雄, 古川康一, J-L. Lassez編, "制約論理プログラミング", 知識情報処理シリーズ別巻 2, 共立出版, B6判, 202p., \3000, 1989
- LTBにおける構文解析システムSAXについて
- 相殺公理のための完全な推論体系(計算アルゴリズムと計算量の基礎理論)
- サービス科学とメタデザイン(第2部:メタデザインへの挑戦,デザイン学:メタデザインへの挑戦)
- 帰納推論
- AS-3-1 大規模なサービスプロセスの設計・検証手法(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- 第7回全米人工知能会議(AAAI-88)に出席して
- コンピュータを用いた協調学習の取組 : セマンティックコンピューティングの教育利用
- Strong Partition Cardinal と Spector Forcing(公理的集合論と一般帰納関数論)
- 83-25 無限木の基本的特性