PSATO : a distributed propositional prover and its application to quasigroup problems
収録刊行物
-
- J. Symbolic Computation
-
J. Symbolic Computation 21 (4), 543-560, 1996
- Tweet
詳細情報
-
- CRID
- 1572543025696653952
-
- NII論文ID
- 80009356893
-
- データソース種別
-
- CiNii Articles