Matthieu Fontaine nous parlera des approches substitutionnelle et objectuelle en logique de premier ordre, concernant l'interprétation des termes.
Comme prévu, cela se passera en salle A3.305 de 13h à 15h.
vendredi 16 novembre 2007
Inscription à :
Articles (Atom)