libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Bibel Wolfgang (Curatore); Schmitt P.H. (Curatore) - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

;
Editore: Springer Netherlands