型について(1): 型と証明

スポンサーリンク

概要

• 論文の詳細を見る
• 近畿大学の論文
• 1997-03-00

著者

• 鈴木 志元

  近畿大学短期大学部

関連論文

• インターネットを利用した博物館情報の流通 : スタムの提案するモデルと「文化財情報システム」
• 直観主義論理と情報検索
• 情報フィルタリング
• 情報から知識へ
• 型について(1): 型と証明
• 様相論理とその応用
• 選好構造とその論理 : 選好理論のモデル論的定式化とその確立的拡張
• 分類するということ
• 情報探索支援における指示同定

スポンサーリンク