Superposition: A General Framework for Effective Reasoning in Propositional and First-Order Logic.
le 8 novembre 2011
de 15h30 à 17h00
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
Mise à jour le 12 septembre 2019