Accueil Publimath  Aide à la recherche  Requête : "sémantique des jeux"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
7 fiches trouvées

12016 Repères-IREM. N° 105.Ressource en ligne
22016 Repères-IREM. N° 105. p. 37-54. Sofus, un langage spécial pour les programmes de calcul.Ressource en ligne
32011 Actes du séminaire national de didactique des mathématiques 2010. Jeux de validation, stratégies et modélisations. p. 5-28.
42011 Actes du séminaire national de didactique des mathématiques. Année 2010.Ressource en ligne
52010 Construction : Festschrift for Gerhard Heinzmann.
62010 Construction : Festschrift for Gerhard Heinzmann. Heinzmann, Hintikka, et la vérité. p. 387-396.Ressource en ligne
72010 Construction : Festschrift for Gerhard Heinzmann. Comparative Remarks on Dialogical Logic and Game-Theoretical Semantics. p. 417-430.