Un Vernaculaire modulaire pour le Calcul des Constructions

Pré-Publication, Document De Travail Année : 1989

(1)

1

Gilles Dowek

Inria Paris-Rocquencourt

Informatique [cs] Logique en informatique [cs.LO]

Fichier principal

dea.pdf (344.83 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

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

Soumis le : jeudi 5 octobre 2023-10:24:31

Dernière modification le : vendredi 6 octobre 2023-03:46:58

hal-04228906 , version 1 (05-10-2023)

Paternité

Gilles Dowek. Un Vernaculaire modulaire pour le Calcul des Constructions. 1989. ⟨hal-04228906⟩

INRIA INRIA2

6 Consultations

6 Téléchargements