Special issue of Annals of Mathematics and Artificial Intelligence (AMAI) on

STRATEGIES IN AUTOMATED DEDUCTION




Note: AMAI is now published by Springer, not any more by Kluwer or Baltzer!






Last modified: January 11, 2008 (BG)