NARIZZANO, MASSIMO
NARIZZANO, MASSIMO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Chapter 30. Reasoning with Quantified Boolean Formulas | 1-gen-2021 | Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo | |
| Reasoning with Quantified Boolean Formulas | 1-gen-2009 | Giunchiglia, Enrico; Marin, P; Narizzano, Massimo |