libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Bertot Yves (Curatore); Dowek Gilles (Curatore); Hirschowitz Andre (Curatore); Paulin Christine (Curatore); Thery Laurent (Curatore) - Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

; ; ; ;
Editore: Springer Berlin Heidelberg