Kategorio:Logiko en komputiko: Malsamoj inter versioj
Enhavo forigita Enhavo aldonita
Xqbot (diskuto | kontribuoj) e roboto aldono de: bg:Категория:Логика в компютърната наука |
e roboto aldono de: el:Κατηγορία:Λογική για Υπολογιστές |
||
Linio 4: | Linio 4: | ||
[[bg:Категория:Логика в компютърната наука]] |
[[bg:Категория:Логика в компютърната наука]] |
||
[[bs:Kategorija:Logika u računarstvu]] |
[[bs:Kategorija:Logika u računarstvu]] |
||
[[el:Κατηγορία:Λογική για Υπολογιστές]] |
|||
[[en:Category:Logic in computer science]] |
[[en:Category:Logic in computer science]] |
||
[[nl:Categorie:Logica in de informatica]] |
[[nl:Categorie:Logica in de informatica]] |
Kiel registrite je 00:00, 6 okt. 2010
Subkategorioj
Ĉi tiu kategorio havas la 2 jenajn subkategoriojn, el 2 entute.
L
- Lambda-kalkulo (2 P)
T
- Teorio de tipoj (2 P)
Paĝoj en kategorio “Logiko en komputiko”
La jenaj 2 paĝoj estas en ĉi tiu kategorio, el 2 entute.