Libri di Mauricio ayala-Rincón
-
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | MathematicsDisponibilità in 2 settimane62,70 € -
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,40 €
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.