Υπολογισμός: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: προσθήκη σήμανσης επαληθευσιμότητας |
μΧωρίς σύνοψη επεξεργασίας |
||
Γραμμή 18:
* Λογικά μοντέλα όπως ο [[λογικός προγραμματισμός]]
* Ταυτόχρονα (concurrent) μοντέλα όπως ο [[λογισμός διεργασιών]] (process calculus)
== Εξωτερικοί σύνδεσμοι ==
| |||