Categoria:Logica nell'informatica

Sottocategorie

Questa categoria contiene le 4 sottocategorie indicate di seguito, su un totale di 4.

L

Logica modale‎ (27 P)

P

Programmazione logica‎ (1 C, 8 P)

S

Soddisfacibilità booleana‎ (6 P)

T

Teoria dei tipi‎ (1 C, 14 P)

Pagine nella categoria "Logica nell'informatica"

Questa categoria contiene le 23 pagine indicate di seguito, su un totale di 23.

Estratto da "https://it.wikipedia.org/w/index.php?title=Categoria:Logica_nell%27informatica&oldid=96431205"