SATCHMO : a theorem prover implemented in Prolog
収録刊行物
-
- Proc. 9th Int. Conf. on Automated Deduction, 1988
-
Proc. 9th Int. Conf. on Automated Deduction, 1988 415-434, 1988
Springer