川口 雄一 | 苫小牧工業高等専門学校
スポンサーリンク
概要
関連著者
著作論文
- 論理的問題の等価変換による解法(2) : SLD導出の限界
- 苫小牧高専で利用可能なインターネットサービス
- マルチセット領域上の等式制約の等価変換
- 項領域における包含制約の等価変換
- クラスと部分構造を持つ対象の表現と計算 : 論理に基づいた単純な枠組みの提案
- クラスと部分構造を持つ対象を扱う論理に基づく単純な枠組みの提案
- 宣言型計算モデルに基づく, クラスと部分構造を持つ対象の表現と計算
- 宣言的プログラムの理論に基づく型付き論理型言語
- 宣言的プログラムの理論に基づく型付き論理型言語