Libri di Jeremy Avigad
Tutti i risultati (2)
-
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane122,50 € -
Mathematical Logic and Computation
Venditore: Feltrinelli77,50 €
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.
