Généralisations et méthodes correctes pour l'induction mathématique - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2002

Sound generalizations and methods for mathematical induction

Généralisations et méthodes correctes pour l'induction mathématique

Fichier principal
Vignette du fichier
Urso.pdf (1019.11 Ko) Télécharger le fichier

Dates et versions

tel-00505928 , version 1 (26-07-2010)

Identifiants

  • HAL Id : tel-00505928 , version 1

Citer

Pascal Urso. Généralisations et méthodes correctes pour l'induction mathématique. Informatique [cs]. Université Nice Sophia Antipolis, 2002. Français. ⟨NNT : ⟩. ⟨tel-00505928⟩
373 Consultations
100 Téléchargements

Partager

Gmail Facebook X LinkedIn More