ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発表年月日
1994
発表テーマ
条件付き書き換え論理の2-圏モデル
会議名
第11回「記号論理学と情報科学」研究集会（SLACS）
発表形式
その他