On an unsatisfiability-satisfiability prover 充足可能性不可能性証明機について

この論文をさがす

著者

    • 細野, 千春 ホソノ, チハル

書誌事項

タイトル

On an unsatisfiability-satisfiability prover

タイトル別名

充足可能性不可能性証明機について

著者名

細野, 千春

著者別名

ホソノ, チハル

学位授与大学

京都大学

取得学位

理学博士

学位授与番号

乙第6669号

学位授与年月日

1988-11-24

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000045058
  • NII著者ID(NRID)
    • 8000000045140
  • NDL書誌ID
    • 000000209372
  • データ提供元
    • NDL-OPAC
ページトップへ