Algorithmes et modèles : l'histoire d'une convergence - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

Algorithmes et modèles : l'histoire d'une convergence

Abstract

Les modèles et les algorithmes de transformation des démonstrations ont longtemps été opposés. Cet exposé défend que cette opposition n'est plus justifiée, car ces deux types d'outils sont aujourd'hui utilisés ensemble.
Fichier principal
Vignette du fichier
lma.pdf (568.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04061691 , version 1 (07-04-2023)

Identifiers

  • HAL Id : hal-04061691 , version 1

Cite

Gilles Dowek. Algorithmes et modèles : l'histoire d'une convergence. 2012. ⟨hal-04061691⟩
10 View
2 Download

Share

Gmail Facebook Twitter LinkedIn More