Αρχείο:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Εικόνα σε υψηλότερη ανάλυση (1.016 × 735 εικονοστοιχεία, μέγεθος αρχείου: 74 KB, τύπος MIME: image/png)
 |
Αυτό το αρχείο και η περιγραφή του προέρχονται από το Wikimedia Commons. Οι πληροφορίες από την σελίδα περιγραφής του εκεί εμφανίζονται παρακάτω. |
Σύνοψη
| Περιγραφή |
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers. |
| Ημερομηνία | |
| Πηγή | Έργο αυτού που το ανεβάζει |
| Δημιουργός | Roconnor |
Αδειοδότηση
Coq
Αυτή η απεικόνιση οθόνης (screenshot) είτε δεν περιέχει μέρη ή απεικονίσεις προγραμμάτων υπό πνευματικά δικαιώματα, είτε ο δημιουργός το έχει ελευθερώσει υπό μια ελεύθερη άδεια χρήσης (που μπορεί να υποδεικνύεται κάτω από αυτή την σήμανση), και συνεπώς ακολουθεί τις οδηγίες αδειοδότησης για screenshots του Wikimedia Commons. Μπορείτε να την χρησιμοποιήσετε ελεύθερα σύμφωνα με την συγκεκριμένη άδεια. Άδεια Ελεύθερου Λογισμικού:
|
Αυτή η βιβλιοθήκη είναι free software. Μπορείτε να την αναδιανείμετε και/ή να την τροποποιήσετε, υπό τους όρους της GNU Lesser General Public License'' όπως δημοσιεύθηκε από το Ίδρυμα Ελευθέρου Λογισμικού είτε με την έκδοση 2.1 της άδειας χρήσης σας (είτε με επιλογή) με οποιαδήποτε μεταγενέστερη έκδοση. Αυτή η βιβλιοθήκη διανέμεται με την ελπίδα ότι θα είναι χρήσιμη, αλλά χωρίς οποιαδήποτε εγγύηση , χωρίς καν την σιωπηρή εγγύηση της εμπορευσιμότητας ή καταλληλότητας για συγκεκριμένο σκοπό ». Βλέπε έκδοση 2.1 και έκδοση 3 του το GNU Lesser General Public License για περισσότερες λεπτομέρειες. |
Σημείωση: αν το screenshot εμφανίζει έργα που δεν είναι απευθείας αποτέλεσμα του ίδιου του κώδικα του προγράμματος, όπως κείμενο ή γραφικά που δεν είναι μέρος του προγράμματος, η άδεια για αυτά τα έργα πρέπει να υποδεικνύεται ξεχωριστά.
Proof shown
|
Εγώ, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, δημοσιεύω αυτό το έργο ως κοινό κτήμα. Αυτό ισχύει σε παγκόσμια κλίμακα. Σε ορισμένες χώρες αυτό μπορεί να μην είναι νομικά εφικτό. Αν ναι: Παραχωρώ σε οποιονδήποτε το δικαίωμα να χρησιμοποιήσει αυτό το έργο "για οποιονδήποτε σκοπό", χωρίς κανέναν όρο, εκτός και αν τέτοιοι όροι τίθενται από την νομοθεσία |
Ιστορικό αρχείου
Κλικάρετε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη τη στιγμή.
| Ώρα/Ημερομ. | Μικρογραφία | Διαστάσεις | Χρήστης | Σχόλια | |
|---|---|---|---|---|---|
| τελευταία | 21:43, 9 Φεβρουαρίου 2010 | | 1.016 × 735 (74 KB) | Roconnor | {{Information |Description={{en|1=A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.}} |Source={{own}} |Author=Roconnor |Date=2009-08-19 |Permission= |other_versions= |
Συνδέσεις αρχείου
Τα παρακάτω λήμματα συνδέουν σε αυτό το αρχείο:
Καθολική χρήση αρχείου
Τα ακόλουθα άλλα wiki χρησιμοποιούν αυτό το αρχείο:
- Χρήση σε en.wikipedia.org
- Χρήση σε et.wikipedia.org
- Χρήση σε fr.wikipedia.org
- Χρήση σε ja.wikipedia.org
- Χρήση σε ru.wikipedia.org
- Χρήση σε zh.wikipedia.org
