Categoria:Logica nell'informatica

Da Wikipedia, l'enciclopedia libera.

Jump to navigation Jump to search

Sottocategorie

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

L

Logica modale‎ (26 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 22 pagine indicate di seguito, su un totale di 22.

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