libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Caferra Ricardo (Curatore); Salzer Gernot (Curatore) - Automated Deduction in Classical and Non-Classical Logics

Automated Deduction in Classical and Non-Classical Logics

;
Editore: Springer Berlin Heidelberg