Embedding negation as failure into a model generation theorem prover
収録刊行物
-
- Proc. 11th International Conf. on Automated Deduction, 1992
-
Proc. 11th International Conf. on Automated Deduction, 1992 1992
Springer