Présentations de Simone Martini et Myriam Quatrini

Fiche du document

Auteur
Date

3 février 2017

Discipline
Types de document
Périmètre
Identifiant
Source

Calcul, logique, linguistique

Relations

Ce document est lié à :
info:eu-repo/semantics/reference/issn/2493-0024

Collection

Hypothèses : carnets de recherches en Sciences humaines et sociales

Organisation

OpenEdition

Licence

info:eu-repo/semantics/openAccess

Sujets proches Fr

Martini (cocktail) Martini-gin Martini-dry

Citer ce document

Liesbeth De Mol, « Présentations de Simone Martini et Myriam Quatrini », Calcul, logique, linguistique, ID : 10.58079/m6ms

Métriques

Partage / Export

Résumé 0

Les slides des exposés de la séance du 1 février 2017 sont maintenant disponible: Simone Martini (INRIA/Department of Computer Science, University of Bologna), A Mathematical theory of computation? Myriam Quatrini (Institut des Mathématiques de Luminy, Université de la Méditerrannée ),  L’interaction, dans les preuves, les programmes, les dialogues.

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en