libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Il prodotto non è più presente nel nostro catalogo
Slind Konrad (Curatore); Bunker Annette (Curatore); Gopalakrishnan Ganesh C. (Curatore) - Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

; ;
Editore: Springer Berlin Heidelberg