Model Elimination and Connection Tableau Procedures
収録刊行物
-
- Handbook of Automated Reasoning
-
Handbook of Automated Reasoning 0 2015-2114, 2001
North-Holland
Handbook of Automated Reasoning 0 2015-2114, 2001
North-Holland