Content deleted Content added
m Re-added category to match functional programming |
m robot Adding: eo:Kategorio:Logika programado |
||
Line 4:
[[Category:Logic in computer science]]
[[Category:Formal methods]]
[[eo:Kategorio:Logika programado]]
|