計算機向きの様相論理の公理化
スポンサーリンク
概要
- 論文の詳細を見る
- 北海道大学 = Hokkaido Universityの論文
- 1978-08-10
著者
関連論文
- 学術研究における文書情報システムの構成
- 学術文献における情報構造 I : 重要語句の自動抽出について
- 計算機向きの様相論理の公理化
- 問題解決機構としての文献情報検索システムの構成
- 文献情報における階層的な意味構造の分析
- 7p-K-4 PEポリエーテル結晶格子の安定性について
- P.E.結晶彈性および熱膨張 : 高分子
- ポリエチレン結晶弾性常数の理論的計算 : 高分子
- 算法論理
- 内包論理に基づく逐次型プログラムの論理