BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.008 secondi).
A taxonomy of theorem-proving strategies
1999-01-01 Bonacina, Maria Paola
Canonical ground Horn theories
2013-01-01 Bonacina, Maria Paola; Nachum, Dershowitz
Deduzione automatica
2018-01-01 Bonacina, Maria Paola
On first-order model-based reasoning
2015-01-01 Bonacina, Maria Paola; Furbach, Ulrich; Sofronie Stokkermans, Viorica
Parallel theorem proving
2018-01-01 Bonacina, Maria Paola
Theory combination: beyond equality sharing
2019-01-01 Bonacina, Maria Paola; Fontaine, Pascal; Ringeissen, Christophe; Tinelli, Cesare
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A taxonomy of theorem-proving strategies | 1-gen-1999 | Bonacina, Maria Paola | |
| Canonical ground Horn theories | 1-gen-2013 | Bonacina, Maria Paola; Nachum, Dershowitz | |
| Deduzione automatica | 1-gen-2018 | Bonacina, Maria Paola | |
| On first-order model-based reasoning | 1-gen-2015 | Bonacina, Maria Paola; Furbach, Ulrich; Sofronie Stokkermans, Viorica | |
| Parallel theorem proving | 1-gen-2018 | Bonacina, Maria Paola | |
| Theory combination: beyond equality sharing | 1-gen-2019 | Bonacina, Maria Paola; Fontaine, Pascal; Ringeissen, Christophe; Tinelli, Cesare |