Embedding negation as failure into a model generation theorem prover
Journal
-
- Proc. 11th Int. Conf. on Automated Deduction, 1992
-
Proc. 11th Int. Conf. on Automated Deduction, 1992 400-415, 1992
Springer
- Tweet
Details 詳細情報について
-
- CRID
- 1574231875722303104
-
- NII Article ID
- 10026556024
-
- Data Source
-
- CiNii Articles