Categoria:Metodi formali
Vai alla navigazione
Vai alla ricerca
- Wikimedia Commons contiene una categoria sull'argomento Metodi formali
Sottocategorie
Questa categoria contiene le 2 sottocategorie indicate di seguito, su un totale di 2.
M
- Macchina di Turing (8 P)
S
- Soddisfacibilità booleana (6 P)
Pagine nella categoria "Metodi formali"
Questa categoria contiene le 22 pagine indicate di seguito, su un totale di 22.