Fichier:Table LTL.png

Une page de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

Fichier d’origine(848 × 258 pixels, taille du fichier : 19 Kio, type MIME : image/png)

Description
Français : Définition inductive des formules de logique temporelle linéaire. Sous licence GFDL.
Date (date de téléversement originale)
Source Transferred from fr.wikipedia; transferred to Commons by User:Bloody-libu using CommonsHelper.
Auteur Original uploader was Mononoke Hime at fr.wikipedia
Autorisation
(Réutilisation de ce fichier)

Released under the GNU Free Documentation License.

Conditions d'utilisation

GNU head Vous avez la permission de copier, distribuer et modifier ce document selon les termes de la GNU Free Documentation License version 1.2 ou toute version ultérieure publiée par la Free Software Foundation, sans sections inaltérables, sans texte de première page de couverture et sans texte de dernière page de couverture. Un exemplaire de la licence est inclus dans la section intitulée GNU Free Documentation License.
Creative Commons license
Creative Commons Attribution Creative Commons Share Alike
If this file is eligible for relicensing, it may also be used under the Creative Commons Attribution-ShareAlike 3.0 license.

The relicensing status of this image needs to be manually reviewed by an experienced user. You can help.

беларуская (тарашкевіца)‎ | English | magyar | italiano | 日本語 | 한국어 | македонски | മലയാളം | sicilianu | українська | +/−

Licensing update unknown

Journal des téléversements d’origine

La page de description originale était ici. Tous les noms d'utilisateur qui suivent se rapportent à fr.wikipedia.
  • 2004-10-13 14:14 Mononoke Hime 848×258× (19026 bytes) Définition inductive des formules de logique temporelle linéaire. Sous licence gfdl.

Historique du fichier

Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.

Date et heureVignetteDimensionsUtilisateurCommentaire
actuel10 août 2012 à 07:49Vignette pour la version du 10 août 2012 à 07:49848 × 258 (19 Kio)File Upload Bot (Magnus Manske)Transfered from fr.wikipedia by User:Bloody-libu using CommonsHelper

La page suivante utilise ce fichier :

Ce document provient de « https://fr.wikipedia.org/wiki/Fichier:Table_LTL.png ».