Mike Ballantyne

Learn More
Principe de résolution et démonstration automatique de théorèmes Méthodes "naturelles" de démonstration automatique de théorèmes en Mathématiques LI DAFA, Unification algorithmes for eliminating and introducing quantifiers in natural deduction automated theorem proving, Journal of Automated Reasoning 18­1 (1997), 105­134 ­ 1 ­
  • 1