Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Γραμμή 129:
== Δείτε επίσης ==
* [[Γραμμική χρονική λογική]]
* [[CTL*]]
== Αναφορές ==
|
Γραμμή 129:
== Δείτε επίσης ==
* [[Γραμμική χρονική λογική]]
* [[CTL*]]
== Αναφορές ==
|