Books listed by ISBN > Springer Verlag > S. Ghilardi

S. Ghilardi

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Logica e deduzione automatica per le applicazioni978-88-47O-O726-O
(88-47O-O726-7)		2010Silvio Ranise

Roberto Sebastiani Silvio Ghilardi · S. G. · Silvio Ghilardi

S. Ghisla