Partager cette page :

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