検索結果

検索結果

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

1 件見つかりました。

  1. Charles,Harold,Jordan (ジョーダン,チャールズ,ハロルド)
    2. https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=2012030170
    論文名一階述語論理の検査可能・不可能なサブクラスについて
    論文名(欧文)Testable and Untestable Classes of First-Order Logic
    学位授与年度2011
    学位種別／学位種類1（課程博士） / 094（博士(情報科学)）
    報告番号10420
    学位授与年月日2012-03-22
    主査／副査Zeugmann,Thomas / 有村,博紀 湊,真一
    所在
    配架番号
    備考
    内容の要旨と審査の要旨10420_jordan.pdf