検索結果

検索結果

文字コードの制約があるため、実際と異なる漢字あるいはヨミによる表示があります。ご了承ください。

1 件見つかりました。

  1. 三浦,克宜 (ミウラ,カツノリ)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=2009030182
    論文名論理等価式を経由した等価変換ルールの生成に関する研究
    論文名(欧文)Generation of Equivalent Transformation Rules via Logical Equivalence
    学位授与年度2008
    学位種別／学位種類1（課程博士） / 094（博士(情報科学)）
    報告番号9055
    学位授与年月日2009-03-25
    主査／副査赤間,清 / 大宮,学 栗原,正仁 水田,正弘
    所在
    配架番号
    備考
    内容の要旨と審査の要旨9055_miura.pdf