65
Voted
AIMSA
1990
Springer
15 years 27 days ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...