Vai al contenuto

Categoria:Logica nell'informatica

Da Wikipedia, l'enciclopedia libera.

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 (8 P)

T

Teoria dei tipi (1 C, 14 P)

Pagine nella categoria "Logica nell'informatica"

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

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