PINNA, GIOVANNI MICHELE
PINNA, GIOVANNI MICHELE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.0 secondi).
A complete fuzzy logical system to deal with trust management systems
2008-01-01 Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi, ELISA BENEDETTA PRIMAVERA
A tableau calculus for Hajek’s logic BL
2003-01-01 Montagna, Franco; Pinna, GIOVANNI MICHELE; Tiezzi, ELISA BENEDETTA PRIMAVERA
Investigations on Fragments of First Order Branching Temporal Logic
2002-01-01 Montagna, F.; Pinna, G. M.; Tiezzi, E. B. P.
| Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
|---|---|---|---|---|
| A complete fuzzy logical system to deal with trust management systems | 1-gen-2008 | Flaminio, Tommaso; Pinna, GIOVANNI MICHELE; Tiezzi, ELISA BENEDETTA PRIMAVERA | - | |
| A tableau calculus for Hajek’s logic BL | 1-gen-2003 | Montagna, Franco; Pinna, GIOVANNI MICHELE; Tiezzi, ELISA BENEDETTA PRIMAVERA | - | |
| Investigations on Fragments of First Order Branching Temporal Logic | 1-gen-2002 | Montagna, F.; Pinna, G. M.; Tiezzi, E. B. P. | - |