libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Plaisted David A.; Zhu Yunshan; Bibel Wolfgang (Curatore); Kruse Rudolf (Curatore) - The Efficiency of Theorem Proving Strategies

The Efficiency of Theorem Proving Strategies

; ; ;
Editore: Vieweg+Teubner Verlag