Dénombrement de modèles en logique équationnelle : Historique des versions

Aller à : navigation, rechercher

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure

  • (actu | diff) 19 novembre 2014 à 14:53Echenimb (discussion | contributions). . (1 655 octets) (+1 655). . (Page créée avec « {{Sujet irl | labo = LIG | titre = Dénombrement de modèles en logique équationnelle | equipe = CAPP | encadrants = Mnacho.Echenim@imag.fr, Nicolas.Peltier@imag.fr }} [[Cat... »)