PSATO : a distributed propositional prover and its application to quasigroup problems

収録刊行物

被引用文献 (2)*注記

もっと見る

詳細情報

  • CRID
    1572543025696653952
  • NII論文ID
    80009356893
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ