ミヨシ ヒロユキ
MIYOSHI HIROYUKI
三好 博之
所属
京都産業大学 理学部 数理科学科
職種
教授
発行・発表の年月
1997
形態種別
その他
標題
2-Cafegorical model of Conditional Rewriting Logic
執筆形態
その他
出版社・発行元
Computer Software