Mauricio ayala-Rincón
-
Interactive Theorem Proving
Venditore: Feltrinelli46,79 € -
Applied Logic for Computer Scientists
Venditore: Feltrinelli42,11 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.