Planifier grâce au bavardage - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Interstices Année : 2017

Planifier grâce au bavardage

Andreas Herzig
Logique, Interaction, Langue et Calcul
Centre National de la Recherche Scientifique
CV
Faustine Maffre
  • Fonction : Auteur
  • PersonId : 1078523
  • IdRef : 199221677
Logique, Interaction, Langue et Calcul

Résumé

Parfois il faut se mettre d’accord. À deux c’est déjà difficile, mais alors comment faire quand on est plus nombreux ? On peut tous s’appeler, c’est une bonne occasion de se donner des nouvelles, mais pour éviter tous ces appels, on peut aussi faire appel à la modélisation logique !

Domaines

Mathématiques [math]

inria Interstices  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01616344

Soumis le : vendredi 13 octobre 2017-15:17:51

Dernière modification le : samedi 20 avril 2024-03:13:00

Fichier non déposé

Dates et versions

hal-01616344 , version 1 (13-10-2017)

Identifiants

  • HAL Id : hal-01616344 , version 1

Citer

Andreas Herzig, Faustine Maffre. Planifier grâce au bavardage. Interstices, 2017. ⟨hal-01616344⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA IRIT-CNRS TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP INTERSTICES INRIA-MEDIATION-SCIENTIFIQUE
126 Consultations
0 Téléchargements

Partager

More