Logica e deduzione automatica per le applicazioni

by: Silvio Ghilardi · Silvio Ranise

Copertina flessibile

ISBN: 978-88-470-0726-0

ISBN-10: 88-470-0726-7

Springer-Verlag Gmbh · 2011