Title: Algorithms et machines pour le calcul automatique de systèmes logiques