Αρχείο:Ltlevently.png
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
Δεν διατίθεται υψηλότερη ανάλυση.
Ltlevently.png (202 × 45 εικονοστοιχεία, μέγεθος αρχείου: 872 bytes, τύπος MIME: image/png)
Σύνοψη
| Περιγραφή | Example diagram of LTL eventually operator |
| Ημερομηνία | |
| Πηγή | Έργο αυτού που το ανεβάζει |
| Δημιουργός | Juan Antonio Navarro Perez |
Αδειοδότηση
|
Εγώ, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, δημοσιεύω αυτό το έργο ως κοινό κτήμα. Αυτό ισχύει σε παγκόσμια κλίμακα. Σε ορισμένες χώρες αυτό μπορεί να μην είναι νομικά εφικτό. Αν ναι: Παραχωρώ σε οποιονδήποτε το δικαίωμα να χρησιμοποιήσει αυτό το έργο "για οποιονδήποτε σκοπό", χωρίς κανέναν όρο, εκτός και αν τέτοιοι όροι τίθενται από την νομοθεσία |
Ιστορικό αρχείου
Πατήστε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη την χρονική στιγμή.
| Ημερομηνία/Ώρα | Μικρογραφία | Διαστάσεις | Χρήστης | Σχόλιο | |
|---|---|---|---|---|---|
| τρέχον | 14:16, 14 Νοεμβρίου 2006 | | 202 × 45 (872 bytes) | wikimediacommons>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 |
Χρήση αρχείου
Η ακόλουθη σελίδα χρησιμοποιεί προς αυτό το αρχείο:
