Emmanuel Genot annonce la performance suivante :
"Vous en prendrez pour combien?"
(Un maximum de théorèmes de logique interrogative, en un minimum de temps...)
Plus explicitement: les théorèmes dont il est question (!) permettent de soulever un point relatif à la formalisation des agendas de recherche. Pour ceux qui ont assisté au séminaire BRT de l'an dernier, c'est une "suite" de l'intervention de Erik J. Olsson.
Subscribe to:
Post Comments (Atom)
1 comment:
Post a Comment