Roberto Sebastiani Silvio Ghilardi · S. G. · S. Ghilardi
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings | 978-3-642-04221-8 (3-642-04221-X) | 2009 | Roberto Sebastiani |
| Logica e deduzione automatica per le applicazioni | 978-88-470-0726-0 (88-470-0726-7) | 2011 | Silvio Ranise |