Image:Kripke model.png
Un article de Wikipédia, l'encyclopédie libre.
Taille de cet aperçu : 800 × 494 pixels
Image en plus haute résolution (837 × 517 pixels, taille du fichier : 20 Kio, type MIME : image/png)
Historique du fichier
Cliquer sur une date et une heure pour voir le fichier tel qu’il était à ce moment-là
Date et heure | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|
actuel | 30 mars 2008 à 14:31 | 837×517 (20 Kio) | Eusebius | (better version, using fig2eps and eps2png) |
28 octobre 2007 à 17:08 | 246×161 (5 Kio) | Eusebius | ({{Information |Description=Kripke model example, with valuation function |Source=own work |Date=2007 |Author=Eusebius |Permission= |other_versions= }}) | |
28 octobre 2007 à 16:11 | 246×123 (4 Kio) | Eusebius | ({{Information |Description=Kripke model example |Source=travail personnel |Date=2007 |Author= Eusebius }} ) |
Pages contenant l’image
La page ci-dessous contient cette image :