Superposition: A General Framework for Effective Reasoning in Propositional and First-Order Logic.

ENS Rennes Salle du conseil
Plan d'accès

Intervention de Christoph Weidenbach, Max-Planck-Institut für Informatik - Saarbrücken (séminaire du département Informatique et télécommunications).

Thématique(s)

Formation, Recherche - Valorisation

Contact

François Schwarzentruber