Τυπική γλώσσα: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Χωρίς σύνοψη επεξεργασίας Ετικέτες: Επεξεργασία από κινητό Διαδικτυακή επεξεργασία από κινητό |
|||
Γραμμή 147:
[[Κατηγορία:Τυπικές γλώσσες]]
[[Κατηγορία:Μαθηματική λογική]]
[[Κατηγορία:Θεωρητική πληροφορική]]
| |||