MARIN, PAOLO
MARIN, PAOLO
170011 - UNIVERSITA' DEGLI STUDI DI GENOVA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Chapter 30. Reasoning with Quantified Boolean Formulas | 1-gen-2021 | Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo |