ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発行・発表の年月
1997
形態種別
その他
標題
条件付き書き換え論理の2-圏モデル
執筆形態
その他
掲載誌名
コンピュータソフトウェア,岩波書店
巻・号・頁
14(1),15-23頁