Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ r2.7.1) (Ρομπότ: Προσθήκη: ru:Логика деревьев вычислений |
|||
Γραμμή 146:
[[Κατηγορία:Τυπικές μέθοδοι]]
[[Κατηγορία:Χρονική λογική]]
{{ενσωμάτωση κειμένου|en|Computation tree logic}}▼
[[de:Computation Tree Logic]]
[[en:Computation tree logic]]
[[ko:계산 트리 논리]]▼
[[ja:計算木論理]]
▲[[ko:계산 트리 논리]]
[[ru:Логика деревьев вычислений]]
▲{{ενσωμάτωση κειμένου|en|Computation tree logic}}
| |||