 
|
|
|
ノト マサト
Noto Masato 能登 正人 所属 神奈川大学 情報学部 システム数理学科 神奈川大学大学院 工学研究科 工学専攻（電気電子情報工学領域） 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 1996/03 |
| 形態種別 | 大学・研究所等紀要 |
| 標題 | 書換え系の性質の形式的検証に関する研究 |
| 執筆形態 | 単著 |
| 掲載誌名 | 北海道大学 |
| 掲載区分 | 国内 |
| 概要 | （博士学位論文） |
Copyright © Kanagawa University. All Rights Reserved.