Terms containing theorem proving

Subject	English	French
IT	mechanical theorem proving	démonstration automatique de théorèmes
IT	mechanical theorem proving	démonstrateur de théorèmes
IT	non-resolution theorem proving	déduction naturelle
IT	theorem proving	preuve de théorèmes
IT	theorem proving	démonstration de théorèmes