Libri di Flávio L. C. De Moura
-
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | MathematicsDisponibilità in 2 settimane62,70 €
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.