File:LK dem contraposition.png
Une page de Wikimedia Commons, la médiathèque libre.
Aller à la navigation
Aller à la recherche
- Fichier
- Historique du fichier
- Utilisations locales du fichier
- Utilisations du fichier sur d’autres wikis
LK_dem_contraposition.png (298 × 115 pixels, taille du fichier : 3 kio, type MIME : image/png)
Informations sur le fichier
Données structurées
Légendes
Description
[modifier]DescriptionLK dem contraposition.png | Mathematical formula: an example of a proof in sequent calculus LK |
Date | |
Source | tex file |
Auteur | Laurent Regnier |
Conditions d’utilisation
[modifier]Public domainPublic domainfalsefalse |
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|---|
actuel | 4 janvier 2006 à 16:53 | 298 × 115 (3 kio) | Lregnier (d | contributions) | Category:Logics {{Information |Description = Mathematical formula: an example of a proof in sequent calculus LK |Source = tex file |Date = 2006/01/04 |Author = Laurent Regnier |Permission = |other_versions = <i>none</i> |}} |
Vous ne pouvez pas remplacer ce fichier.
Utilisations locales du fichier
Aucune page n’utilise ce fichier.
Utilisations du fichier sur d’autres wikis
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur fr.wikipedia.org
Catégories cachées :