Αρχείο:Ltlevently.png
Ltlevently.png (202 × 45 εικονοστοιχεία, μέγεθος αρχείου: 872 bytes, τύπος MIME: image/png)
Ιστορικό αρχείου
Κλικάρετε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη τη στιγμή.
Ώρα/Ημερομ. | Μικρογραφία | Διαστάσεις | Χρήστης | Σχόλια | |
---|---|---|---|---|---|
τελευταία | 13:16, 14 Νοεμβρίου 2006 | 202 × 45 (872 bytes) | NavarroJ | {{Information |Description=Example diagram of LTL eventually operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} Category:Logics |
Συνδέσεις αρχείου
Τα παρακάτω λήμματα συνδέουν σε αυτό το αρχείο:
Καθολική χρήση αρχείου
Τα ακόλουθα άλλα wiki χρησιμοποιούν αυτό το αρχείο:
- Χρήση σε de.wikipedia.org
- Χρήση σε fr.wikipedia.org
- Χρήση σε ja.wikipedia.org
- Χρήση σε pt.wikipedia.org