Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ προστέθηκε η Κατηγορία:Λογική για Υπολογιστές (με το HotCat) |
|||
Γραμμή 141:
[[Κατηγορία:Τυπικές μέθοδοι]]
[[Κατηγορία:Χρονική λογική]]
[[Κατηγορία:Λογική για Υπολογιστές]]
[[de:Computation Tree Logic]]
| |||