Ιστορικό αλλαγών για τη σελίδα «Τυπική σημασιολογία των γλωσσών προγραμματισμού»

31 Μαρτίου 2023

• παρόνπροηγ. 15:1415:14, 31 Μαρτίου 2023‎ 3223 Ανόι συζήτηση συνεισφορές‎ μ 13.229 bytes −87‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

3 Αυγούστου 2022

• παρόνπροηγ. 08:1608:16, 3 Αυγούστου 2022‎ InternetArchiveBot συζήτηση συνεισφορές‎ 13.316 bytes −34‎ Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0.8.9 αναίρεση

17 Απριλίου 2022

• παρόνπροηγ. 06:1606:16, 17 Απριλίου 2022‎ InternetArchiveBot συζήτηση συνεισφορές‎ 13.350 bytes +171‎ Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0.8.7 αναίρεση

7 Φεβρουαρίου 2020

• παρόνπροηγ. 03:1703:17, 7 Φεβρουαρίου 2020‎ Gerakibot συζήτηση συνεισφορές‎ μ 13.179 bytes +37‎ Ρομπότ: προσθήκη σήμανσης επαληθευσιμότητας αναίρεση

30 Σεπτεμβρίου 2019

• παρόνπροηγ. 15:5415:54, 30 Σεπτεμβρίου 2019‎ InternetArchiveBot συζήτηση συνεισφορές‎ 13.142 bytes +43‎ Διάσωση 1 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 αναίρεση

1 Απριλίου 2013

• παρόνπροηγ. 01:0901:09, 1 Απριλίου 2013‎ EmausBot συζήτηση συνεισφορές‎ μ 13.099 bytes −444‎ Bot: Migrating 11 langlinks, now provided by Wikidata on d:Q1437428 αναίρεση

15 Μαρτίου 2012

• παρόνπροηγ. 20:0920:09, 15 Μαρτίου 2012‎ ZéroBot συζήτηση συνεισφορές‎ μ 13.543 bytes +60‎ r2.7.1) (Ρομπότ: Προσθήκη: uk:Семантика мов програмування αναίρεση

6 Μαρτίου 2012

• παρόνπροηγ. 00:1300:13, 6 Μαρτίου 2012‎ EmausBot συζήτηση συνεισφορές‎ μ 13.483 bytes −6‎ r2.7.2+) (Ρομπότ: Τροποποίηση: en:Semantics (computer science) αναίρεση

24 Ιουλίου 2011

• παρόνπροηγ. 12:4212:42, 24 Ιουλίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 13.489 bytes +46‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

27 Μαρτίου 2011

• παρόνπροηγ. 01:0001:00, 27 Μαρτίου 2011‎ Gf uip συζήτηση συνεισφορές‎ μ 13.443 bytes +46‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

23 Φεβρουαρίου 2011

• παρόνπροηγ. 10:1010:10, 23 Φεβρουαρίου 2011‎ RedBot συζήτηση συνεισφορές‎ μ 13.397 bytes −7‎ r2.5.2) (Ρομπότ: Τροποποίηση: en:Semantics of programming languages αναίρεση

28 Οκτωβρίου 2010

• παρόνπροηγ. 00:5300:53, 28 Οκτωβρίου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.404 bytes +50‎ →‎Δείτε επίσης αναίρεση
• παρόνπροηγ. 00:5200:52, 28 Οκτωβρίου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.354 bytes +82‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

11 Οκτωβρίου 2010

• παρόνπροηγ. 23:1123:11, 11 Οκτωβρίου 2010‎ Xqbot συζήτηση συνεισφορές‎ μ 13.272 bytes +53‎ Ρομπότ: Προσθήκη: cv:Семантика (программăлани); διακοσμητικές αλλαγές αναίρεση

1 Οκτωβρίου 2010

• παρόνπροηγ. 18:1518:15, 1 Οκτωβρίου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.219 bytes +30‎ →‎Εξωτερικοί σύνδεσμοι αναίρεση

1 Σεπτεμβρίου 2010

• παρόνπροηγ. 07:1007:10, 1 Σεπτεμβρίου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.189 bytes +1‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

31 Αυγούστου 2010

• παρόνπροηγ. 23:1923:19, 31 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.188 bytes +1‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 23:1923:19, 31 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.187 bytes 0‎ To "Τυπική σημασιολογία των γλωσών προγραμματισμού" μετακινήθηκε στο "Τυπική σημασιολογία των γλωσσών προγραμματισμού": ορθογραφικό... αναίρεση
• παρόνπροηγ. 23:1723:17, 31 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.187 bytes +9‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 23:1623:16, 31 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ μ 13.178 bytes +235‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 23:1423:14, 31 Αυγούστου 2010‎ Gf uip συζήτηση συνεισφορές‎ 12.943 bytes +12.943‎ Νέα σελίδα: Στη θεωρητική πληροφορική, η '''τυπική σημασιολογία'' ('''formal semantics''') είναι το πεδίο που ασχολείτα...