Johannes Schoisswohl

Explorer le rôle de l'unification dans l'amélioration des systèmes de preuve pour le raisonnement automatisé.