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.wiki.x.io/w/index.php?title=Categoria:Logica_nell%27informatica&oldid=96431205"