JAIST Repository > JAIST > Theses > Doctor of Philosophy(Information Science) >
制限付き構造規則を持つ部分構造論理
Orthologicsの意味論的研究
マイクロホン対を用いた雑音除去法に関する研究
Software Agents and Quality of Service Issues in Distributed Systems
項書換え系の停止性,AC停止性,依存対に関する研究