Mots-clés – Auteurs

sémantique des jeux

Il y a 7 résultats pour cette recherche

2016 Repères-IREM. N° 105.
Auteur : Repères-IREM Comité de rédaction. Dir.
2016 Repères-IREM. N° 105. p. 37-54. Sofus, un langage spécial pour les programmes de calcul.
Auteur : Busser Alain
2011 Actes du séminaire national de didactique des mathématiques. Année 2010.
Auteurs : Abboud-Blanchard Maha. Dir. ; Flückiger Annick. Dir.
2011 Actes du séminaire national de didactique des mathématiques 2010. Jeux de validation, stratégies et modélisations. p. 5-28.
Auteur : Barrier Thomas
2010 Construction : Festschrift for Gerhard Heinzmann.
Auteurs : Bour Pierre-Edouard. Dir. ; Rebuschi Manuel. Dir. ; Rollet Laurent. Dir.
2010 Construction : Festschrift for Gerhard Heinzmann. Heinzmann, Hintikka, et la vérité. p. 387-396.
Auteur : Rebuschi Manuel
2010 Construction : Festschrift for Gerhard Heinzmann. Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics. p. 417-430.
Auteur : Tulenheimo Tero